Symbol: EDAC_OPSTATE_NMI