pub const VMCS_HOST_CR4: u32 = 0x00006c04;