Symbol: bcons_getchar_xen
usr/src/uts/i86pc/boot/boot_console.c
1188
return (bcons_getchar_xen());
usr/src/uts/i86pc/boot/boot_console.c
66
extern int bcons_getchar_xen(void);