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