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);