Constant XSTATE_MPX_BNDREGS 

pub const XSTATE_MPX_BNDREGS: u32 = 3u32;