Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/vringh.c vringh_iov_pull_iotlb() -> vringh_iov_xfer()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 1 iov 4096-ptr_max
PARAM_VALUE 4 xfer 3883932328309075968
BUF_SIZE 2 ptr (-1),2,6,16,4096
BUF_SIZE 2 ptr (-1),2,6,16,4096
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 iov $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 len $3
USER_DATA 2 *ptr s64min-s64max
UNITS 3 len unit_byte
USER_PTR 2 ptr
HALF_LOCKED2 &ndev->reslock
HALF_LOCKED2 &vdpasim->mutex

drivers/vhost/vringh.c vringh_iov_pull_user() -> vringh_iov_xfer()

Type Parameter Key Value
PARAM_VALUE 0 vrh 0
PARAM_VALUE 4 xfer 6781126645763383296
DATA_SOURCE 1 iov $0
DATA_SOURCE 2 ptr $1
DATA_SOURCE 3 len $2

drivers/vhost/vringh.c vringh_iov_push_iotlb() -> vringh_iov_xfer()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 1 iov 4096-ptr_max
PARAM_VALUE 4 xfer 5877716885693169664
BUF_SIZE 2 ptr (-1),20,4096
BUF_SIZE 2 ptr (-1),20,4096
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 iov $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 len $3
UNITS 3 len unit_byte
USER_PTR 2 ptr
HALF_LOCKED2 &ndev->reslock
HALF_LOCKED2 &vdpasim->mutex

drivers/vhost/vringh.c vringh_iov_push_user() -> vringh_iov_xfer()

Type Parameter Key Value
PARAM_VALUE 0 vrh 0
PARAM_VALUE 4 xfer 2008439683515133952
DATA_SOURCE 1 iov $0
DATA_SOURCE 2 ptr $1
DATA_SOURCE 3 len $2