82a83,87
> // every cpu has an id, put it in the base cpu
> // Set at initialization, only time a cpuId might change is during a
> // takeover (which should be done from within the BaseCPU anyway,
> // therefore no setCpuId() method is provided
> int _cpuId;
84a90,92
> /** Reads this CPU's ID. */
> int cpuId() { return _cpuId; }
>