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