__vringh_notify_disable 805 drivers/vhost/vringh.c __vringh_notify_disable(vrh, putu16_user); __vringh_notify_disable 1029 drivers/vhost/vringh.c __vringh_notify_disable(vrh, putu16_kern);