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