__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);