irq 62 defs.h void ioapicenable(int irq, int cpu); irq 68 ioapic.c ioapicenable(int irq, int cpunum) irq 73 ioapic.c ioapicwrite(REG_TABLE+2*irq, T_IRQ0 + irq); irq 74 ioapic.c ioapicwrite(REG_TABLE+2*irq+1, cpunum << 24);