pub const VMCS_GUEST_RSP: u32 = 0x0000681c;