ioapicwrite        62 ioapic.c           ioapicwrite(REG_TABLE+2*i, INT_DISABLED | (T_IRQ0 + i));
ioapicwrite        63 ioapic.c           ioapicwrite(REG_TABLE+2*i+1, 0);
ioapicwrite        73 ioapic.c         ioapicwrite(REG_TABLE+2*irq, T_IRQ0 + irq);
ioapicwrite        74 ioapic.c         ioapicwrite(REG_TABLE+2*irq+1, cpunum << 24);