x86defs::snp

Constant SEV_INTR_TYPE_NMI

Source 
pub const SEV_INTR_TYPE_NMI: u32 = 2;