stop_one_cpu
int stop_one_cpu(unsigned int cpu, cpu_stop_fn_t fn, void *arg);
stop_one_cpu(task_cpu(p), migration_cpu_stop, &arg);
return stop_one_cpu(curr_cpu, migration_cpu_stop, &arg);