Constant x86defs::snp::SEV_INTR_TYPE_NMI

pub const SEV_INTR_TYPE_NMI: u32 = 2;