Searched refs:xen_banner (Results 1 – 4 of 4) sorted by relevance
144 x86_init.oem.banner = xen_banner; in xen_pvh_init()
62 void xen_banner(void);
200 void __init xen_banner(void) in xen_banner() function
1369 x86_init.oem.banner = xen_banner; in xen_start_kernel()