Searched refs:smp4d_smp_done (Results 1 – 3 of 3) sorted by relevance
115 void __init smp4d_smp_done(void);
96 smp4d_smp_done(); in smp_cpus_done()
162 void __init smp4d_smp_done(void) in smp4d_smp_done() function