Searched refs:xen_banner (Results 1 – 3 of 3) sorted by relevance
154 x86_init.oem.banner = xen_banner; in xen_pvh_init()
62 void xen_banner(void);
1434 x86_init.oem.banner = xen_banner; in xen_start_kernel()