On Fri, May 20, 2016 at 11:37 PM, Fabio Estevam [off-list ref] wrote:

Hi Rafael,

On Fri, May 20, 2016 at 6:20 PM, Rafael J. Wysocki [off-list ref] wrote:

quoted

quoted

If I rebuilt a kernel with SMP=n then the reboot command works as expected.

Does it work if you boot with maxcpus=1 or nosmp in the kernel command line?

No, it does not help.

quoted

Also, please try if the appended patch makes any difference.

I tried it, and the console shows "Requesting system reboot" and stays
there forever. No more messages after that and the system does not
reboot.

So what about if you comment out the cpufreq_suspend() line in
device_shutdown() (after applying the patch)?