Symbol: xencons_tx_flush
sys/dev/xen/console/xen_console.c
486
xencons_tx_flush(cons, force_flush);
sys/dev/xen/console/xen_console.c
570
xencons_tx_flush(cons, 0);
sys/dev/xen/console/xen_console.c
584
xencons_tx_flush(tty_softc(tp), 1);