SGI_HPCDMA_IRQ    754 sound/mips/hal2.c 	free_irq(SGI_HPCDMA_IRQ, hal2);
SGI_HPCDMA_IRQ    810 sound/mips/hal2.c 	if (request_irq(SGI_HPCDMA_IRQ, hal2_interrupt, IRQF_SHARED,
SGI_HPCDMA_IRQ    812 sound/mips/hal2.c 		printk(KERN_ERR "HAL2: Can't get irq %d\n", SGI_HPCDMA_IRQ);
SGI_HPCDMA_IRQ    858 sound/mips/hal2.c 		free_irq(SGI_HPCDMA_IRQ, hal2);
SGI_HPCDMA_IRQ    897 sound/mips/hal2.c 		SGI_HPCDMA_IRQ);