__vringh_notify_enable 792 drivers/vhost/vringh.c return __vringh_notify_enable(vrh, getu16_user, putu16_user); __vringh_notify_enable 1016 drivers/vhost/vringh.c return __vringh_notify_enable(vrh, getu16_kern, putu16_kern);