/* IRQ Host operations xilinx_intc_xlate - translate virq# from device tree interrupts property  */
static int xilinx_intc_xlate(struct irq_host *h, struct device_node *ct, const u32 *intspec, unsigned int intsize, irq_hw_number_t *out_hwirq, unsigned int *out_flags)
/* IRQ Host operations xilinx_intc_xlate - translate virq# from device tree interrupts property  */
static int xilinx_intc_xlate(struct irq_host *h, struct device_node *ct, const u32 *intspec, unsigned int intsize, irq_hw_number_t *out_hwirq, unsigned int *out_flags)
{
	if ((intsize < 2) || (intspec[0] >= XILINX_INTC_MAXIRQS))
		return -EINVAL;
	xilinx_intc_typetable[intspec[0]] = xilinx_intc_map_senses[intspec[1]];
	*out_hwirq = intspec[0];
	*out_flags = xilinx_intc_map_senses[intspec[1]];
	return 0;
}