Searched refs:smp4d_smp_done (Results 1 – 3 of 3) sorted by relevance
127 void __init smp4d_smp_done(void);
95 smp4d_smp_done(); in smp_cpus_done()
163 void __init smp4d_smp_done(void) in smp4d_smp_done() function