Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/block/rbd.c __rbd_object_map_load() -> ceph_copy_from_page_vector()

Type Parameter Key Value
PARAM_VALUE 0 pages 4096-ptr_max
PARAM_VALUE 1 data 1-18446744073709551614
PARAM_VALUE 2 off 0-4095
BUF_SIZE 0 pages s32min-s32max
DATA_SOURCE 0 pages r ceph_alloc_page_vector
DATA_SOURCE 1 data r __kvmalloc_node_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 len unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &rbd_dev->header_rwsem
HALF_LOCKED2 &rbd_dev->lock_rwsem

drivers/block/rbd.c rbd_obj_read_sync() -> ceph_copy_from_page_vector()

Type Parameter Key Value
PARAM_VALUE 0 pages 16,4096-ptr_max
PARAM_VALUE 1 data 16,4096-ptr_max
PARAM_VALUE 2 off 0
PARAM_VALUE 3 len 1-s32max
BUF_SIZE 0 pages s32min-s32max
DATA_SOURCE 0 pages r ceph_alloc_page_vector
DATA_SOURCE 1 data $3
DATA_SOURCE 3 len r ceph_osdc_wait_request
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &rbd_dev->header_rwsem
HALF_LOCKED2 &rbd_dev->lock_rwsem