id                 51 ioapic.c         int i, id, maxintr;
id                 55 ioapic.c         id = ioapicread(REG_ID) >> 24;
id                 56 ioapic.c         if(id != ioapicid)