1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _PPC_BOOT_FSL_SOC_H_ 3 #define _PPC_BOOT_FSL_SOC_H_ 4 5 #include "types.h" 6 7 u32 *fsl_get_immr(void); 8 9 #endif 10