riot_sys::bindgen

Constant PPI_FIXED_CH_NUM

Source 
pub const PPI_FIXED_CH_NUM: u32 = 12;