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);
264 void __init xen_banner(void) in xen_banner() function
1234 x86_init.oem.banner = xen_banner; in xen_start_kernel()