pub const XSTATE_GSSE: u32 = 2u32;