Symbol: getu16_kern
drivers/vhost/vringh.c
1000
return __vringh_notify_enable(vrh, getu16_kern, putu16_kern);
drivers/vhost/vringh.c
1025
return __vringh_need_notify(vrh, getu16_kern);
drivers/vhost/vringh.c
953
err = __vringh_get_head(vrh, getu16_kern, &vrh->last_avail_idx);