pub const MSR_IA32_VMX_MISC: u32 = 1157;