Constant SEV_INTR_TYPE_EXT 

pub const SEV_INTR_TYPE_EXT: u32 = 0;