94a95,96
> void initCPU(ThreadContext *, int cpuId);
>