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
7u32 *fsl_get_immr(void);
8
9#endif
10