taglinefilesource code
SECOND59kernel/irq.cBUILD_IRQ(SECOND,8,0x01)
SECOND60kernel/irq.cBUILD_IRQ(SECOND,9,0x02)
SECOND61kernel/irq.cBUILD_IRQ(SECOND,10,0x04)
SECOND62kernel/irq.cBUILD_IRQ(SECOND,11,0x08)
SECOND63kernel/irq.cBUILD_IRQ(SECOND,12,0x10)
SECOND64kernel/irq.cBUILD_IRQ(SECOND,13,0x20)
SECOND65kernel/irq.cBUILD_IRQ(SECOND,14,0x40)
SECOND66kernel/irq.cBUILD_IRQ(SECOND,15,0x80)