Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/ublk_drv.c ublk_copy_user_integrity() -> ublk_copy_user_bvec()

Type Parameter Key Value
PARAM_VALUE 0 bv 1848653472786321408
PARAM_VALUE 2 uiter 4096-ptr_max
PARAM_VALUE 2 uiter->iter_type 0-1
PARAM_VALUE 3 dir 0-1
PARAM_VALUE 4 done 3482402164644458496
DATA_SOURCE 2 uiter $2
DATA_SOURCE 3 dir $3
NOSPEC 2 uiter->count
HARD_MAX 3 dir 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *offset 0-33554431[c]
USER_DATA 2 uiter->count 0-18446744073709551614
USER_DATA 2 uiter->iov_offset 0-u64max[c]
USER_PTR 1 offset
HALF_LOCKED2 &pool->lock

drivers/block/ublk_drv.c ublk_copy_user_pages() -> ublk_copy_user_bvec()

Type Parameter Key Value
PARAM_VALUE 0 bv 2905411185658544128
PARAM_VALUE 2 uiter 4096-ptr_max
PARAM_VALUE 3 dir 0-1
PARAM_VALUE 4 done 441298039269605376
DATA_SOURCE 2 uiter $2
DATA_SOURCE 3 dir $3
NOSPEC 2 uiter->count
HARD_MAX 3 dir 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *offset 0-33554431[c]
USER_DATA 2 uiter->count 0-18446744073709551614
USER_DATA 2 uiter->iov_offset 0-u64max[c]
USER_PTR 1 offset