vhost_get_user 961 drivers/vhost/vhost.c vhost_get_user(vq, x, ptr, VHOST_ADDR_AVAIL) vhost_get_user 964 drivers/vhost/vhost.c vhost_get_user(vq, x, ptr, VHOST_ADDR_USED)