136 |
|
if (!RegistryCStrEntryCreate(device_tree.ptr(), str, power_pc.ptr())) { |
137 |
|
u32.set_value(CPUClockSpeed); |
138 |
|
RegistryPropertyCreate(power_pc.ptr(), "clock-frequency", u32.ptr(), 4); |
139 |
+ |
u32.set_value(BusClockSpeed); |
140 |
+ |
RegistryPropertyCreate(power_pc.ptr(), "bus-frequency", u32.ptr(), 4); |
141 |
+ |
u32.set_value(BusClockSpeed / 4); |
142 |
+ |
RegistryPropertyCreate(power_pc.ptr(), "timebase-frequency", u32.ptr(), 4); |
143 |
|
u32.set_value(PVR); |
144 |
|
RegistryPropertyCreate(power_pc.ptr(), "cpu-version", u32.ptr(), 4); |
145 |
|
RegistryPropertyCreateStr(power_pc.ptr(), "device_type", "cpu"); |
254 |
|
u32.set_value(128); |
255 |
|
RegistryPropertyCreate(power_pc.ptr(), "tlb-size", u32.ptr(), 4); |
256 |
|
break; |
257 |
< |
case 0x8000: // 7400 |
258 |
< |
case 0x800c: // 7410 |
257 |
> |
case 12: // 7400, 7410 |
258 |
> |
case 0x800c: |
259 |
|
u32.set_value(32); |
260 |
|
RegistryPropertyCreate(power_pc.ptr(), "d-cache-block-size", u32.ptr(), 4); |
261 |
|
u32.set_value(128); |