Fix cpuid output on E500 core.

This commit is contained in:
raj 2009-11-19 16:21:26 +00:00
parent d41fb84bab
commit fbbc43d320

View File

@ -429,6 +429,8 @@ cpu_e500_setup(int cpuid, uint16_t vers)
{
register_t hid0;
printf("\n");
hid0 = mfspr(SPR_HID0);
printf("cpu%d: HID0 %b", cpuid, (int)hid0, HID0_E500_BITMASK);
}