SGI_HPCDMA_IRQ
free_irq(SGI_HPCDMA_IRQ, hal2);
if (request_irq(SGI_HPCDMA_IRQ, hal2_interrupt, IRQF_SHARED,
printk(KERN_ERR "HAL2: Can't get irq %d\n", SGI_HPCDMA_IRQ);
free_irq(SGI_HPCDMA_IRQ, hal2);
SGI_HPCDMA_IRQ);