cpu_update_pcb
cpu_update_pcb(target_td);
cpu_update_pcb(td0);
cpu_update_pcb(td1);
void cpu_update_pcb(struct thread *);