pub const VMCS_GUEST_RIP: u32 = 0x0000681e;