pub const VMCS_HOST_IA32_SYSENTER_EIP: u32 = 0x00006c12;