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)