Searched refs:smp4d_boot_cpus (Results 1 – 3 of 3) sorted by relevance
113 void __init smp4d_boot_cpus(void);
205 smp4d_boot_cpus(); in smp_prepare_cpus()
113 void __init smp4d_boot_cpus(void) in smp4d_boot_cpus() function