mpic_teardown_this_cpu
extern void mpic_teardown_this_cpu(int secondary);
mpic_teardown_this_cpu(secondary);