Constant DEBUGCAUSE_DEBUGINT_MASK 

pub const DEBUGCAUSE_DEBUGINT_MASK: u32 = 32;