DEBUGCAUSE_DEBUGINT_SHIFT

Constant DEBUGCAUSE_DEBUGINT_SHIFT 

Source
pub const DEBUGCAUSE_DEBUGINT_SHIFT: u32 = 5;