pub const KERNEL_PID_UNDEF: c_int = _; // 0i32