pub const VMCS_GUEST_GS_LIMIT: u32 = 0x0000480a;