putu16_kern      1003 drivers/vhost/vringh.c 	return __vringh_complete(vrh, &used, 1, putu16_kern, putused_kern);
putu16_kern      1016 drivers/vhost/vringh.c 	return __vringh_notify_enable(vrh, getu16_kern, putu16_kern);
putu16_kern      1029 drivers/vhost/vringh.c 	__vringh_notify_disable(vrh, putu16_kern);