riot_sys::bindgen

Constant PROTNUM_IPCV

Source 
pub const PROTNUM_IPCV: u32 = 71;