ioapicwrite        65 ioapic.c           ioapicwrite(REG_TABLE+2*i, INT_DISABLED | (T_IRQ0 + i));
ioapicwrite        66 ioapic.c           ioapicwrite(REG_TABLE+2*i+1, 0);
ioapicwrite        79 ioapic.c         ioapicwrite(REG_TABLE+2*irq, T_IRQ0 + irq);
ioapicwrite        80 ioapic.c         ioapicwrite(REG_TABLE+2*irq+1, cpunum << 24);