CONFIG_PCI_MSI_IRQ_DOMAIN (not configurable)

configname: CONFIG_PCI_MSI_IRQ_DOMAIN

Linux Kernel Configuration
└─>Bus options (PCI etc.)
└─>PCI_MSI_IRQ_DOMAIN
In linux kernel since version 3.10 (release Date: 2013-06-30)  
selects
CONFIG_GENERIC_MSI_IRQ_DOMAIN

depends
CONFIG_PCI_MSI or &


is depended by
CONFIG_ARM_GIC_V2M