Searched refs:smp4d_boot_cpus (Results 1 – 2 of 2) sorted by relevance
187 extern void __init smp4d_boot_cpus(void); in smp_prepare_cpus()208 smp4d_boot_cpus(); in smp_prepare_cpus()
113 void __init smp4d_boot_cpus(void) in smp4d_boot_cpus() function