__vringh_need_notify  817 drivers/vhost/vringh.c 	return __vringh_need_notify(vrh, getu16_user);
__vringh_need_notify 1041 drivers/vhost/vringh.c 	return __vringh_need_notify(vrh, getu16_kern);