INIT_REBOOT
case INIT_REBOOT:
(oldstate == SELECTING || oldstate == INIT_REBOOT) &&
if (!set_smach_state(dsmp, INIT_REBOOT)) {
dsmp->dsm_state != INIT_REBOOT && dsmp->dsm_state != REBINDING &&
case INIT_REBOOT: