VHOST_ADDR_AVAIL  961 drivers/vhost/vhost.c 	vhost_get_user(vq, x, ptr, VHOST_ADDR_AVAIL)
VHOST_ADDR_AVAIL 1365 drivers/vhost/vhost.c 			       VHOST_ADDR_AVAIL) &&