IRQ_TIMER
irq = bcm63xx_get_irq_number(IRQ_TIMER);
[IRQ_TIMER] = BCM_## __cpu ##_TIMER_IRQ, \
hwread(card->mmio, VORTEX_IRQ_CTRL) | IRQ_TIMER | 0x60);
hwread(card->mmio, VORTEX_IRQ_CTRL) & ~IRQ_TIMER);
if (source & IRQ_TIMER) {
|IRQ_GAMEPORT|IRQ_MPU401|IRQ_TIMER)
if (status & IRQ_TIMER) {