Constant MSR_IA32_VMX_CR4_FIXED1 

pub const MSR_IA32_VMX_CR4_FIXED1: u32 = 0x489;