Constant TIMER_DBGPAUSE_RESET 

pub const TIMER_DBGPAUSE_RESET: u32 = 7;