pub const VMCS_CTRL_CR4_SHADOW: u32 = 0x00006006;