stop_this_cpu
smp_call_function(stop_this_cpu, NULL, 0);
smp_call_function(stop_this_cpu, NULL, 0);
smp_call_function(stop_this_cpu, NULL, 0);
smp_call_function(stop_this_cpu, NULL, 0);
void stop_this_cpu(void *);
stop_this_cpu(NULL);
smp_call_function(stop_this_cpu, 0, 0);
smp_call_function(stop_this_cpu, NULL, 0);
void __noreturn stop_this_cpu(void *dummy);
void (*stop_this_cpu)(void);
smp_ops.stop_this_cpu = acpi_mp_stop_this_cpu;
if (smp_ops.stop_this_cpu) {
smp_ops.stop_this_cpu();
stop_this_cpu(NULL);
if (smp_ops.stop_this_cpu) {
smp_ops.stop_this_cpu();
stop_this_cpu(NULL);
stop_this_cpu(NULL);
NORETURN(stop_this_cpu)