xintc_get_irq      19 arch/microblaze/include/asm/irq.h extern unsigned int xintc_get_irq(void);
xintc_get_irq      32 arch/microblaze/kernel/irq.c 	irq = xintc_get_irq();
xintc_get_irq      37 arch/microblaze/kernel/irq.c 	irq = xintc_get_irq();
xintc_get_irq      13 arch/powerpc/include/asm/xilinx_intc.h extern unsigned int xintc_get_irq(void);
xintc_get_irq      51 arch/powerpc/platforms/40x/virtex.c 	.get_irq		= xintc_get_irq,
xintc_get_irq      57 arch/powerpc/platforms/44x/virtex.c 	.get_irq		= xintc_get_irq,
xintc_get_irq     145 drivers/irqchip/irq-xilinx-intc.c 		pending = xintc_get_irq();