fill_readbuf 781 drivers/char/virtio_console.c return fill_readbuf(port, ubuf, count, true); fill_readbuf 1164 drivers/char/virtio_console.c return fill_readbuf(port, (__force char __user *)buf, count, false);