CONFIG_HVC_XEN    387 arch/x86/kernel/early_printk.c #ifdef CONFIG_HVC_XEN
CONFIG_HVC_XEN      7 include/xen/hvc-console.h #ifdef CONFIG_HVC_XEN