Constant riot_sys::PPI_CH_NUM

source ยท 
pub const PPI_CH_NUM: u32 = 20;