vhost_get_avail_size 1303 drivers/vhost/vhost.c 	       access_ok(avail, vhost_get_avail_size(vq, num)) &&
vhost_get_avail_size 1364 drivers/vhost/vhost.c 			       vhost_get_avail_size(vq, num),