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