CONFIG_XEN_DOM0    16 arch/x86/include/asm/xen/pci.h #if defined(CONFIG_XEN_DOM0)
CONFIG_XEN_DOM0   226 include/linux/usb/ehci_def.h #ifdef CONFIG_XEN_DOM0
CONFIG_XEN_DOM0    38 include/xen/acpi.h #ifdef CONFIG_XEN_DOM0
CONFIG_XEN_DOM0    22 include/xen/xen.h #ifdef CONFIG_XEN_DOM0