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