69 	unsigned int irq = data->irq;  in disable_microdev_irq()  local
72 	if (irq >= NUM_EXTERNAL_IRQS)  in disable_microdev_irq()
74 	if (!fpgaIrqTable[irq].mapped)  in disable_microdev_irq()
77 	fpgaIrq = fpgaIrqTable[irq].fpgaIrq;  in disable_microdev_irq()
85 	unsigned int irq = data->irq;  in enable_microdev_irq()  local
89 	if (unlikely(irq >= NUM_EXTERNAL_IRQS))  in enable_microdev_irq()
91 	if (unlikely(!fpgaIrqTable[irq].mapped))  in enable_microdev_irq()
94 	pri = 15 - irq;  in enable_microdev_irq()
96 	fpgaIrq = fpgaIrqTable[irq].fpgaIrq;  in enable_microdev_irq()
116 static void __init make_microdev_irq(unsigned int irq)  in make_microdev_irq()  argument
118 	disable_irq_nosync(irq);  in make_microdev_irq()
119 	irq_set_chip_and_handler(irq, &microdev_irq_type, handle_level_irq);  in make_microdev_irq()
120 	disable_microdev_irq(irq_get_irq_data(irq));  in make_microdev_irq()