CONFIG_PCI_XEN (not configurable)

modulename: xen.ko

configname: CONFIG_PCI_XEN

Linux Kernel Configuration
└─>Bus options (PCI etc.)
└─>PCI_XEN
In linux kernel since version 2.6.37 (release Date: 2011-01-04)  
source code: