pub const XSTATE_MASK_MPX: u64 = 1 << XSTATE_MPX_BNDREGS | 1 << XSTATE_MPX_BNDCSR; // 24u64