push_cpu_stop
stop_one_cpu_nowait(rq->cpu, push_cpu_stop,
stop_one_cpu_nowait(src_rq->cpu, push_cpu_stop,
stop_one_cpu_nowait(rq->cpu, push_cpu_stop,
stop_one_cpu_nowait(src_rq->cpu, push_cpu_stop,
extern int push_cpu_stop(void *arg);