ioapicread         54 ioapic.c         maxintr = (ioapicread(REG_VER) >> 16) & 0xFF;
ioapicread         55 ioapic.c         id = ioapicread(REG_ID) >> 24;