Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/vringh.c putused_iotlb() -> copy_to_iotlb()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 0 vrh->vring.used->ring 4096-ptr_max
PARAM_VALUE 1 dst 4096-ptr_max
PARAM_VALUE 3 len 0-34359738360
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 dst $1
DATA_SOURCE 2 src $2

drivers/vhost/vringh.c xfer_to_iotlb() -> copy_to_iotlb()

Type Parameter Key Value
PARAM_VALUE 0 vrh 0,4096-ptr_max
BUF_SIZE 1 dst s32min-(-2),1-s32max
BUF_SIZE 1 dst s32min-(-2),1-s32max
BUF_SIZE 2 src (-1),2,6,16,20,4096
BUF_SIZE 2 src (-1),2,6,16,20,4096
CAPPED_DATA 3 len 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 dst $1
DATA_SOURCE 2 src $2
DATA_SOURCE 3 len $3
USER_DATA 2 *src s64min-s64max
UNITS 1 dst unit_byte
UNITS 3 len unit_byte
USER_PTR 2 src