CONFIG_XEN       2317 arch/arm/mm/dma-mapping.c #ifdef CONFIG_XEN
CONFIG_XEN         55 arch/arm64/mm/dma-mapping.c #ifdef CONFIG_XEN
CONFIG_XEN         20 arch/x86/entry/vdso/vdso32/note.S #ifdef CONFIG_XEN
CONFIG_XEN        964 arch/x86/include/asm/processor.h #ifdef	CONFIG_XEN
CONFIG_XEN         46 arch/x86/include/asm/xen/hypervisor.h #ifdef CONFIG_XEN
CONFIG_XEN         22 arch/x86/kernel/asm-offsets.c #ifdef CONFIG_XEN
CONFIG_XEN         75 arch/x86/kernel/asm-offsets.c #ifdef CONFIG_XEN
CONFIG_XEN        579 arch/x86/kernel/process.c #ifdef CONFIG_XEN
CONFIG_XEN          5 arch/x86/xen/xen-head.S #ifdef CONFIG_XEN
CONFIG_XEN         22 include/xen/arm/hypervisor.h #ifdef CONFIG_XEN
CONFIG_XEN         58 include/xen/platform_pci.h 	return IS_ENABLED(CONFIG_XEN);
CONFIG_XEN         62 include/xen/platform_pci.h 	return IS_ENABLED(CONFIG_XEN);
CONFIG_XEN         66 include/xen/platform_pci.h 	return IS_ENABLED(CONFIG_XEN);
CONFIG_XEN         11 include/xen/xen.h #ifdef CONFIG_XEN