riot_sys::bindgen

Constant KERNEL_PID_ISR

Source 
pub const KERNEL_PID_ISR: u32 = 33;