pub const HF2_SMM_INSIDE_NMI_SHIFT: u32 = 4;