CONFIG_PCI_MSI_IRQ_DOMAIN (not configurable)

configname: CONFIG_PCI_MSI_IRQ_DOMAIN

Linux Kernel Configuration
└─>Device Drivers
└─>PCI support
└─>PCI_MSI_IRQ_DOMAIN
In linux kernel since version 3.10 (release Date: 2013-06-30)  
selects
CONFIG_GENERIC_MSI_IRQ_DOMAIN


is selected by
CONFIG_PCIE_TEGRA194