pcpu_sigp_retry
pcpu_sigp_retry(pcpu, SIGP_EXTERNAL_CALL, 0);
pcpu_sigp_retry(pcpu, SIGP_SET_PREFIX, __pa(lc));
pcpu_sigp_retry(pcpu, SIGP_SET_PREFIX, 0);
pcpu_sigp_retry(per_cpu_ptr(&pcpu_devices, cpu), SIGP_RESTART, 0);
pcpu_sigp_retry(pcpu, SIGP_STOP, 0);
pcpu_sigp_retry(pcpu, SIGP_CPU_RESET, 0);
pcpu_sigp_retry(pcpu, SIGP_STOP, 0);
if (pcpu_sigp_retry(pcpu, SIGP_INITIAL_CPU_RESET, 0) !=
pcpu_sigp_retry(this_cpu_ptr(&pcpu_devices), SIGP_STOP, 0);