pub const VMCS_HOST_RIP: u32 = 0x00006c16;