putu16_user
return __vringh_complete(vrh, &used, 1, putu16_user, putused_user);
putu16_user, putused_user);
return __vringh_notify_enable(vrh, getu16_user, putu16_user);
__vringh_notify_disable(vrh, putu16_user);