pub const VMCS_GUEST_SS_AR: u32 = 0x00004818;