SIGP_CPU_RESET
pcpu_sigp_retry(pcpu, SIGP_CPU_RESET, 0);
order_code != SIGP_CPU_RESET) {
case SIGP_CPU_RESET: