70 static inline void early_mmu_setup(void)  in early_mmu_setup()  argument
91 static void fix_pcie_mmu_map(void)  in fix_pcie_mmu_map()  argument
143 static inline void final_mmu_setup(void)  in final_mmu_setup()  argument
241 u64 get_page_table_size(void)  in get_page_table_size()  argument
246 int arch_cpu_init(void)  in arch_cpu_init()  argument
264 void mmu_setup(void)  in mmu_setup()  argument
273 void enable_caches(void)  in enable_caches()  argument
295 u32 cpu_pos_mask(void)  in cpu_pos_mask()  argument
316 u32 cpu_mask(void)  in cpu_mask()  argument
343 int cpu_numcores(void)  in cpu_numcores()  argument
398 uint get_svr(void)  in get_svr()  argument
407 int print_cpuinfo(void)  in print_cpuinfo()  argument
485 static inline int check_psci(void)  in check_psci()  argument
496 int arch_early_init_r(void)  in arch_early_init_r()  argument
528 int timer_init(void)  in timer_init()  argument
610 void efi_reset_system_init(void)  in efi_reset_system_init()  argument
630 phys_size_t get_effective_memsize(void)  in get_effective_memsize()  argument
676 int dram_init_banksize(void)  in dram_init_banksize()  argument
790 void efi_add_known_memory(void)  in efi_add_known_memory()  argument
829 void update_early_mmu_table(void)  in update_early_mmu_table()  argument
887 __weak int dram_init(void)  in dram_init()  argument