pub const HF2_SMM_INSIDE_NMI_MASK: u32 = 16;