SIGP_INITIAL_CPU_RESET
if (pcpu_sigp_retry(pcpu, SIGP_INITIAL_CPU_RESET, 0) !=
if (order_code != SIGP_INITIAL_CPU_RESET &&
case SIGP_INITIAL_CPU_RESET: