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