Constant CCODE::XSTATE_MPX_BNDREGS

pub const XSTATE_MPX_BNDREGS: u32 = 3;