TIMER_INTR_BITS

Constant TIMER_INTR_BITS 

Source
pub const TIMER_INTR_BITS: u32 = 15;