pub fn remove_from_pid2task(pid: usize)
Remove item(pid, _some_pcb) from PDI2PCB map (called by exit_current_and_run_next)