__vringh_complete  761 drivers/vhost/vringh.c 	return __vringh_complete(vrh, &used, 1, putu16_user, putused_user);
__vringh_complete  778 drivers/vhost/vringh.c 	return __vringh_complete(vrh, used, num_used,
__vringh_complete 1003 drivers/vhost/vringh.c 	return __vringh_complete(vrh, &used, 1, putu16_kern, putused_kern);