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