Constant KERNEL_PID_UNDEF

pub const KERNEL_PID_UNDEF: u32 = 0;