riot_sys::bindgen

Constant TIMER_CHANNEL_NUMOF

Source 
pub const TIMER_CHANNEL_NUMOF: u32 = 5;