Constant DEBUGCAUSE_DEBUGINT_SHIFT

pub const DEBUGCAUSE_DEBUGINT_SHIFT: u32 = 5;