DDI_INTR_TYPE_FLAG_VALID
!DDI_INTR_TYPE_FLAG_VALID(type) ||
if (!DDI_INTR_TYPE_FLAG_VALID(type) ||
!DDI_INTR_TYPE_FLAG_VALID(type) ||
ASSERT(DDI_INTR_TYPE_FLAG_VALID(type));
ASSERT(DDI_INTR_TYPE_FLAG_VALID(type));
if ((dip == NULL) || (count < 1) || !DDI_INTR_TYPE_FLAG_VALID(type)) {