CONFIG_XEN_EFI 231 arch/arm/xen/enlighten.c if (IS_ENABLED(CONFIG_XEN_EFI)) { CONFIG_XEN_EFI 124 arch/x86/xen/xen-ops.h #ifdef CONFIG_XEN_EFI