154 static void init_ipi(void)  in init_ipi()  argument
458 void smp_jump_to_debugger(void)  in smp_jump_to_debugger()  argument
494 void smp_send_stop(void)  in smp_send_stop()  argument
529 void smp_nmi_call_function_interrupt(void)  in smp_nmi_call_function_interrupt()  argument
564 void __init smp_init_cpus(void)  in smp_init_cpus()  argument
579 static void __init smp_cpu_init(void)  in smp_cpu_init()  argument
629 void smp_prepare_cpu_init(void)  in smp_prepare_cpu_init()  argument
739 static void __init smp_tune_scheduling(void)  in smp_tune_scheduling()  argument
837 static void __init smp_callin(void)  in smp_callin()  argument
879 static void __init smp_online(void)  in smp_online()  argument
908 void smp_prepare_boot_cpu(void)  in smp_prepare_boot_cpu()  argument
920 void initialize_secondary(void)  in initialize_secondary()  argument
974 static int __init topology_init(void)  in topology_init()  argument
990 int __cpu_disable(void)  in __cpu_disable()  argument
1007 static inline void hotplug_cpu_disable_cache(void)  in hotplug_cpu_disable_cache()  argument
1024 static inline void hotplug_cpu_enable_cache(void)  in hotplug_cpu_enable_cache()  argument
1037 static inline void hotplug_cpu_invalidate_cache(void)  in hotplug_cpu_invalidate_cache()  argument
1112 static void restart_wakeup_cpu(void)  in restart_wakeup_cpu()  argument
1159 static void wakeup_cpu(void)  in wakeup_cpu()  argument