pub const VMCS_CTRL_CR0_MASK: u32 = 0x00006000;