Symbol: xen_banner
arch/x86/xen/enlighten_pv.c
1417
x86_init.oem.banner = xen_banner;
arch/x86/xen/enlighten_pvh.c
154
x86_init.oem.banner = xen_banner;
arch/x86/xen/xen-ops.h
62
void xen_banner(void);