Constant XSTATE_MPX_BNDREGS

pub const XSTATE_MPX_BNDREGS: u32 = 3;