Constant XCHAL_INTSETTABLE_MASK 

pub const XCHAL_INTSETTABLE_MASK: u32 = 536871040;