Constant SEV_INTR_TYPE_NMI 

pub const SEV_INTR_TYPE_NMI: u32 = 2;