pub const VMCS_GUEST_CR4: u32 = 0x00006804;