Constant X64_CR4_VMXE 

pub const X64_CR4_VMXE: u64 = 0x0000000000002000;