#ifndef _PPC_BOOT_FSL_SOC_H_
  #define _PPC_BOOT_FSL_SOC_H_
  
  #include "types.h"
  
  u32 *fsl_get_immr(void);
  
  #endif