Constant XSTATE_MPX_BNDCSR 

pub const XSTATE_MPX_BNDCSR: u32 = 4u32;