[kbuild-all] drivers/irqchip/irq-xilinx-intc.c:127:14: warning: no previous prototype for function 'xintc_get_irq'