INTR_TYPE_NMI_INTR
if (CC(intr_type == INTR_TYPE_NMI_INTR && vector != NMI_VECTOR) ||
INTR_TYPE_NMI_INTR | INTR_INFO_VALID_MASK | NMI_VECTOR;
NMI_VECTOR | INTR_TYPE_NMI_INTR |
return is_intr_type(intr_info, INTR_TYPE_NMI_INTR);
INTR_TYPE_NMI_INTR | INTR_INFO_VALID_MASK | NMI_VECTOR);
case INTR_TYPE_NMI_INTR:
type != INTR_TYPE_NMI_INTR))
case INTR_TYPE_NMI_INTR: