44c44,48
< // This assumes there's only one I/O APIC in the system
---
> // This assumes there's only one I/O APIC in the system and since the apic
> // id is stored in a 8-bit field with 0xff meaning broadcast, the id must
> // be less than 0xff
>
> assert(p->apic_id < 0xff);
46d49
< assert(id <= 0xf);
56a60,70
> void
> X86ISA::I82094AA::init()
> {
> // The io apic must register its address ranges on both its pio port
> // via the piodevice init() function and its int port that it inherited
> // from IntDev. Note IntDev is not a SimObject itself.
>
> PioDevice::init();
> IntDev::init();
> }
>
99c113
< id = bits(value, 27, 24);
---
> id = bits(value, 31, 24);
103c117
< arbId = bits(value, 27, 24);
---
> arbId = bits(value, 31, 24);