INTR_NOTVALID
(void) px_lib_intr_setvalid(dip, sysino, INTR_NOTVALID);
DDI_SUCCESS) || (intr_valid_state == INTR_NOTVALID))
*intr_valid_state = INTR_NOTVALID;
case INTR_NOTVALID: