INTR_VALID
(void) px_lib_intr_setvalid(dip, sysino, INTR_VALID);
if (intr_valid_state == INTR_VALID) {
*intr_valid_state = INTR_VALID;
case INTR_VALID: