Symbol: bcons_putchar_xen
usr/src/uts/i86pc/boot/boot_console.c
1164
bcons_putchar_xen(c);
usr/src/uts/i86pc/boot/boot_console.c
65
extern void bcons_putchar_xen(int);
usr/src/uts/i86xpv/boot/boot_xconsole.c
170
bcons_putchar_xen('\r');