riot_wrappers::thread::riot_c

Constant KERNEL_PID_ISR

Source 
pub(crate) const KERNEL_PID_ISR: kernel_pid_t = _; // 33i16