61 int __weak x86_cleanup_before_linux(void)  in x86_cleanup_before_linux()  argument
71 int x86_init_cache(void)  in x86_init_cache()  argument
105 void x86_full_reset(void)  in x86_full_reset()  argument
119 void dcache_enable(void)  in dcache_enable()  argument
124 void dcache_disable(void)  in dcache_disable()  argument
129 void icache_enable(void)  in icache_enable()  argument
133 void icache_disable(void)  in icache_disable()  argument
137 int icache_status(void)  in icache_status()  argument
178 int default_print_cpuinfo(void)  in default_print_cpuinfo()  argument
202 __weak void board_final_cleanup(void)  in board_final_cleanup()  argument
206 int last_stage_init(void)  in last_stage_init()  argument
223 static int x86_init_cpus(void)  in x86_init_cpus()  argument
242 int cpu_init_r(void)  in cpu_init_r()  argument
271 int reserve_arch(void)  in reserve_arch()  argument