Constant XSTATE_BNDREGS_MASK 

pub const XSTATE_BNDREGS_MASK: u32 = 8;