Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/vringh.c __vringh_iov() -> __vringh_iov param 7()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 0 vrh->iotlb_lock->rlock.dep_map->name 0-255
PARAM_VALUE 1 dst 6339054527261716480
PARAM_VALUE 2 src 4096-ptr_max
PARAM_VALUE 3 len 16
BUF_SIZE 1 dst 16
DATA_SOURCE 0 vrh $0
UNITS 3 len unit_byte

drivers/vhost/vringh.c slow_copy() -> slow_copy param 6()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 0 vrh->iotlb_lock->rlock.dep_map->name 0-255
PARAM_VALUE 0 vrh->vring.desc 4096-ptr_max
PARAM_VALUE 1 dst 6339054527261716480,6339054527261716496-u64max
PARAM_VALUE 3 len 16
BUF_SIZE 1 dst (-1),16
BUF_SIZE 1 dst (-1),16
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 dst $1 [m]
DATA_SOURCE 2 src $2 [m]
USER_DATA 1 *dst s64min-s64max
UNITS 3 len unit_byte