putu16_user       761 drivers/vhost/vringh.c 	return __vringh_complete(vrh, &used, 1, putu16_user, putused_user);
putu16_user       779 drivers/vhost/vringh.c 				 putu16_user, putused_user);
putu16_user       792 drivers/vhost/vringh.c 	return __vringh_notify_enable(vrh, getu16_user, putu16_user);
putu16_user       805 drivers/vhost/vringh.c 	__vringh_notify_disable(vrh, putu16_user);