OCTEON_IRQ_TIMER1  705 drivers/staging/octeon/ethernet-tx.c 	i = request_irq(OCTEON_IRQ_TIMER1,
OCTEON_IRQ_TIMER1  710 drivers/staging/octeon/ethernet-tx.c 		panic("Could not acquire Ethernet IRQ %d\n", OCTEON_IRQ_TIMER1);
OCTEON_IRQ_TIMER1  716 drivers/staging/octeon/ethernet-tx.c 	free_irq(OCTEON_IRQ_TIMER1, cvm_oct_device);