77,85d76
<
< /** Sets this CPU's ID. */
< void setCpuId(int id) { cpuId = id; }
<
< /** Reads this CPU's ID. */
< int readCpuId() { return cpuId; }
<
< protected:
< int cpuId;