Constant MSR_IA32_VMX_VMCS_ENUM 

pub const MSR_IA32_VMX_VMCS_ENUM: u32 = 0x48a;