23 static void *get_fdt_virt(void)  in get_fdt_virt()  argument
28 static uint64_t get_fdt_phys(void)  in get_fdt_phys()  argument
49 uint64_t get_phys_ccsrbar_addr_early(void)  in get_phys_ccsrbar_addr_early()  argument
71 int board_early_init_f(void)  in board_early_init_f()  argument
76 int checkboard(void)  in checkboard()  argument
121 void pci_init_board(void)  in pci_init_board()  argument
198 int last_stage_init(void)  in last_stage_init()  argument
222 static uint64_t get_linear_ram_size(void)  in get_linear_ram_size()  argument
252 void print_laws(void)  in print_laws()  argument
257 phys_size_t fixed_sdram(void)  in fixed_sdram()  argument
262 phys_size_t fsl_ddr_sdram_size(void)  in fsl_ddr_sdram_size()  argument
267 void init_tlbs(void)  in init_tlbs()  argument
300 void init_laws(void)  in init_laws()  argument
305 static uint32_t get_cpu_freq(void)  in get_cpu_freq()  argument
324 int get_clocks (void)  in get_clocks()  argument
338 unsigned long get_tbclk (void)  in get_tbclk()  argument
361 int cpu_numcores(void)  in cpu_numcores()  argument
373 u32 cpu_mask(void)  in cpu_mask()  argument