On Tue, 2017-07-18 at 10:56 +0530, Nikunj A Dadhania wrote: > In case of reboot, all CPUs are resumed after reboot. So we check the > next condition cpu_has_work() in cpu_thread_is_idle(), where we see a > DECR interrupt and remove the CPU from halted state as the CPU has work.
Shouldn't we put them back in the stopped state then ? Cheers, Ben.