596c596
< fetch_PC, cpu->readCpuId(), tid);
---
> fetch_PC, cpu->cpuId(), tid);