Searched refs:xen_banner (Results 1 – 3 of 3) sorted by relevance
17 const char *xen_banner(void);
63 const char *xen_banner(void) in xen_banner() function
851 __putstr(xen_banner()); in console_init_preirq()
Completed in 6 milliseconds