Xilinx Interrupt Controller IP

modulename: irq-xilinx-intc.ko

configname: CONFIG_XILINX_INTC

Linux Kernel Configuration
└─>Device Drivers
└─>IRQ chip support
└─>Xilinx Interrupt Controller IP
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Support for the Xilinx Interrupt Controller IP core.
This is used as a primary controller with MicroBlaze and can also
be used as a secondary chained controller on other platforms.

source code:
selects
CONFIG_IRQ_DOMAIN