putu16_kern
return __vringh_notify_enable(vrh, getu16_kern, putu16_kern);
__vringh_notify_disable(vrh, putu16_kern);
return __vringh_complete(vrh, &used, 1, putu16_kern, putused_kern);