Symbol: putused_user
drivers/vhost/vringh.c
797
return __vringh_complete(vrh, &used, 1, putu16_user, putused_user);
drivers/vhost/vringh.c
815
putu16_user, putused_user);