Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vhost/vringh.c copy_from_iotlb() -> iotlb_translate()

Type Parameter Key Value
PARAM_VALUE 0 vrh 0,4096-ptr_max
PARAM_VALUE 2 len 1-u64max
PARAM_VALUE 3 translated 1766466345981509632
PARAM_VALUE 4 ivec 5506520517375066112
PARAM_VALUE 4 ivec->count 16
PARAM_VALUE 5 perm 1
BUF_SIZE 1 addr s32min-(-1),1-s32max
CAPPED_DATA 2 len 1
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 addr $2
UNITS 1 addr unit_byte
UNITS 2 len unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 vrh 0,4096-ptr_max
PARAM_VALUE 2 len 1-u64max
PARAM_VALUE 3 translated 1166797404592361472
PARAM_VALUE 4 ivec 2709244213423501312
PARAM_VALUE 4 ivec->count 16
PARAM_VALUE 5 perm 2
BUF_SIZE 1 addr s32min-(-1),1-s32max
CAPPED_DATA 2 len 1
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 addr $1
UNITS 1 addr unit_byte
UNITS 2 len unit_byte

drivers/vhost/vringh.c getu16_iotlb() -> iotlb_translate()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 2 len 2
PARAM_VALUE 3 translated 0
PARAM_VALUE 4 ivec 1657340196067155968
PARAM_VALUE 4 ivec->count 1
PARAM_VALUE 5 perm 1
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 addr $2
UNITS 2 len unit_byte

drivers/vhost/vringh.c putu16_iotlb() -> iotlb_translate()

Type Parameter Key Value
PARAM_VALUE 0 vrh 4096-ptr_max
PARAM_VALUE 0 vrh->vring.used->ring 4096-ptr_max
PARAM_VALUE 1 addr 4096-18446744073709547520
PARAM_VALUE 2 len 2
PARAM_VALUE 3 translated 0
PARAM_VALUE 4 ivec 4745860315701641216
PARAM_VALUE 4 ivec->count 1
PARAM_VALUE 5 perm 1
DATA_SOURCE 0 vrh $0
DATA_SOURCE 1 addr $1
UNITS 2 len unit_byte