__vringh_get_head 660 drivers/vhost/vringh.c err = __vringh_get_head(vrh, getu16_user, &vrh->last_avail_idx); __vringh_get_head 924 drivers/vhost/vringh.c err = __vringh_get_head(vrh, getu16_kern, &vrh->last_avail_idx);