pub const VMCS_CTRL_CR4_MASK: u32 = 0x00006002;