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