Constant XSTATE_MASK_IPT 

pub const XSTATE_MASK_IPT: u32 = 256;