Searched refs:xen_banner (Results 1 – 4 of 4) sorted by relevance
58 void xen_banner(void);
37 x86_init.oem.banner = xen_banner; in xen_pvh_init()
268 void __init xen_banner(void) in xen_banner() function
1360 x86_init.oem.banner = xen_banner; in xen_start_kernel()