59 u32 get_cpu_type(void)  in get_cpu_type()  argument
68 u32 get_cpu_id(void)  in get_cpu_id()  argument
93 u32 get_cpu_family(void)  in get_cpu_family()  argument
123 u32 get_cpu_rev(void)  in get_cpu_rev()  argument
136 u32 get_sku_id(void)  in get_sku_id()  argument
153 u32 get_gpmc0_base(void)  in get_gpmc0_base()  argument
166 u32 get_gpmc0_width(void)  in get_gpmc0_width()  argument
176 u32 __weak get_board_rev(void)  in get_board_rev()  argument
185 static u32 get_base(void)  in get_base()  argument
199 u32 is_running_in_flash(void)  in is_running_in_flash()  argument
211 u32 is_running_in_sram(void)  in is_running_in_sram()  argument
223 u32 is_running_in_sdram(void)  in is_running_in_sdram()  argument
235 u32 get_boot_type(void)  in get_boot_type()  argument
244 int print_cpuinfo (void)  in print_cpuinfo()  argument