getu16_user       660 drivers/vhost/vringh.c 	err = __vringh_get_head(vrh, getu16_user, &vrh->last_avail_idx);
getu16_user       792 drivers/vhost/vringh.c 	return __vringh_notify_enable(vrh, getu16_user, putu16_user);
getu16_user       817 drivers/vhost/vringh.c 	return __vringh_need_notify(vrh, getu16_user);