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