cpunum             68 ioapic.c       ioapicenable(int irq, int cpunum)
cpunum             74 ioapic.c         ioapicwrite(REG_TABLE+2*irq+1, cpunum << 24);