pub const VMCS_GUEST_GS: u32 = 0x0000080a;