Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/vringh.c vringh_getdesc_iotlb() -> __vringh_get_head()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 1 getu16 1525156733640589312
PARAM_VALUE 2 last_avail_idx 4096-ptr_max
DATA_SOURCE 0 vrh $0
HALF_LOCKED2 &ndev->reslock
HALF_LOCKED2 &vdpasim->mutex

drivers/vhost/vringh.c vringh_getdesc_kern() -> __vringh_get_head()

Type Parameter Key Value
PARAM_VALUE 1 getu16 301507835105697792
PARAM_VALUE 2 last_avail_idx 4096-ptr_max
DATA_SOURCE 0 vrh $0

drivers/vhost/vringh.c vringh_getdesc_user() -> __vringh_get_head()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 1 getu16 5704588379951734784
PARAM_VALUE 2 last_avail_idx 4096-ptr_max
DATA_SOURCE 0 vrh $0