#ifndef _PPC_BOOT_FSL_SOC_H_
#define _PPC_BOOT_FSL_SOC_H_

#include "types.h"

u32 *fsl_get_immr(void);

#endif