59 void ipi_init(void)  in ipi_init()  argument
65 static inline unsigned int get_core_count(void)  in get_core_count()  argument
72 static inline int get_core_id(void)  in get_core_id()  argument
87 void __init smp_init_cpus(void)  in smp_init_cpus()  argument
100 void __init smp_prepare_boot_cpu(void)  in smp_prepare_boot_cpu()  argument
114 void secondary_start_kernel(void)  in secondary_start_kernel()  argument
256 int __cpu_disable(void)  in __cpu_disable()  argument
307 void arch_cpu_idle_dead(void)  in arch_cpu_idle_dead()  argument
319 void __ref cpu_die(void)  in cpu_die()  argument
380 void smp_send_stop(void)  in smp_send_stop()  argument
452 void flush_tlb_all(void)  in flush_tlb_all()  argument
521 void flush_cache_all(void)  in flush_cache_all()  argument