Symbol: cpu_update_pcb