Symbol: INTR_TYPE_NMI_INTR