Constant DEBUGCAUSE_ICOUNT_SHIFT 

pub const DEBUGCAUSE_ICOUNT_SHIFT: u32 = 0;