flush_bufs       1747 drivers/char/virtio_console.c 		flush_bufs(vq, false);
flush_bufs       1761 drivers/char/virtio_console.c 		flush_bufs(vq, false);
flush_bufs       1944 drivers/char/virtio_console.c 		flush_bufs(vq, true);