CONFIG_MVEBU_PIC (not configurable)
modulename: irq-mvebu-pic.ko
configname: CONFIG_MVEBU_PIC
Linux Kernel Configuration
└─>Device Drivers
└─>IRQ chip support
└─>MVEBU_PIC
