taglinefilesource code
SECOND86kernel/irq.cBUILD_IRQ(SECOND,8,0x01)
SECOND87kernel/irq.cBUILD_IRQ(SECOND,9,0x02)
SECOND88kernel/irq.cBUILD_IRQ(SECOND,10,0x04)
SECOND89kernel/irq.cBUILD_IRQ(SECOND,11,0x08)
SECOND90kernel/irq.cBUILD_IRQ(SECOND,12,0x10)
SECOND91kernel/irq.cBUILD_IRQ(SECOND,13,0x20)
SECOND92kernel/irq.cBUILD_IRQ(SECOND,14,0x40)
SECOND93kernel/irq.cBUILD_IRQ(SECOND,15,0x80)