SIGP_RESTART
pcpu_sigp_retry(per_cpu_ptr(&pcpu_devices, cpu), SIGP_RESTART, 0);
"K" (SIGP_RESTART), "K" (SIGP_STOP)
case SIGP_RESTART: