getu16_kern       924 drivers/vhost/vringh.c 	err = __vringh_get_head(vrh, getu16_kern, &vrh->last_avail_idx);
getu16_kern      1016 drivers/vhost/vringh.c 	return __vringh_notify_enable(vrh, getu16_kern, putu16_kern);
getu16_kern      1041 drivers/vhost/vringh.c 	return __vringh_need_notify(vrh, getu16_kern);