Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/block/drbd/drbd_receiver.c read_in_block() -> drbd_alloc_peer_req()

Type Parameter Key Value
PARAM_VALUE 0 peer_device 4096-ptr_max
PARAM_VALUE 0 peer_device->connection 4096-ptr_max
PARAM_VALUE 0 peer_device->device 4096-ptr_max
PARAM_VALUE 0 peer_device->device->state.disk 1-15
PARAM_VALUE 0 peer_device->device->vdisk 4096-ptr_max
PARAM_VALUE 0 peer_device->device->vdisk->part0 4096-ptr_max
PARAM_VALUE 3 request_size 0-134217728
PARAM_VALUE 4 payload_size 0-1048576
PARAM_VALUE 5 gfp_mask 3072
DATA_SOURCE 0 peer_device $0
DATA_SOURCE 1 id $1
DATA_SOURCE 2 sector $2
PARAM_COMPARE 3 request_size >= $4
PARAM_COMPARE 4 payload_size <= $3
BIT_INFO 3 request_size 0x0,0xffffe00
UNITS 2 sector unit_byte
UNITS 3 request_size unit_byte
UNITS 4 payload_size unit_byte

drivers/block/drbd/drbd_receiver.c receive_DataRequest() -> drbd_alloc_peer_req()

Type Parameter Key Value
PARAM_VALUE 0 peer_device 4096-ptr_max
PARAM_VALUE 0 peer_device->device 4096-ptr_max
PARAM_VALUE 0 peer_device->device->state.disk 1-15
PARAM_VALUE 0 peer_device->device->vdisk 4096-ptr_max
PARAM_VALUE 0 peer_device->device->vdisk->part0 4096-ptr_max
PARAM_VALUE 3 request_size 1-1048576
PARAM_VALUE 4 payload_size 1-1048576
PARAM_VALUE 5 gfp_mask 3072
DATA_SOURCE 0 peer_device r conn_peer_device
BIT_INFO 3 request_size 0x0,0x1ffe00
BIT_INFO 4 payload_size 0x0,0x1ffe00
UNITS 2 sector unit_byte
UNITS 3 request_size unit_byte
UNITS 4 payload_size unit_byte

drivers/block/drbd/drbd_receiver.c receive_rs_deallocated() -> drbd_alloc_peer_req()

Type Parameter Key Value
PARAM_VALUE 0 peer_device 4096-ptr_max
PARAM_VALUE 0 peer_device->device 4096-ptr_max
PARAM_VALUE 0 peer_device->device->state.disk 1-15
PARAM_VALUE 1 id u64max
PARAM_VALUE 4 payload_size 0
PARAM_VALUE 5 gfp_mask 3072
DATA_SOURCE 0 peer_device r conn_peer_device
UNITS 2 sector unit_byte
UNITS 3 request_size unit_byte

drivers/block/drbd/drbd_worker.c read_for_csum() -> drbd_alloc_peer_req()

Type Parameter Key Value
PARAM_VALUE 0 peer_device 4096-ptr_max
PARAM_VALUE 0 peer_device->connection 4096-ptr_max
PARAM_VALUE 0 peer_device->device 4096-ptr_max
PARAM_VALUE 0 peer_device->device->act_log->nr_elements 1-u32max
PARAM_VALUE 0 peer_device->device->al_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 peer_device->device->bitmap 1,4096-ptr_max
PARAM_VALUE 0 peer_device->device->bitmap->bm_bits 1-s64max
PARAM_VALUE 0 peer_device->device->bitmap->bm_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 peer_device->device->bitmap->bm_pages 0-s64max
PARAM_VALUE 0 peer_device->device->ldev 4096-ptr_max
PARAM_VALUE 0 peer_device->device->ldev->backing_bdev 4096-ptr_max
PARAM_VALUE 0 peer_device->device->resync->nr_elements 1-u32max
PARAM_VALUE 0 peer_device->device->resync_wenr u32max
PARAM_VALUE 0 peer_device->device->rq_queue 4096-ptr_max
PARAM_VALUE 0 peer_device->device->rs_plan_s->head_index 0-2147483646
PARAM_VALUE 0 peer_device->device->rs_total 1-u64max
PARAM_VALUE 0 peer_device->device->state.disk 1-15
PARAM_VALUE 0 peer_device->device->vdisk 4096-ptr_max
PARAM_VALUE 0 peer_device->device->vdisk->part0 4096-ptr_max
PARAM_VALUE 0 *peer_device->device->rs_plan_s->values s32min-s32max
PARAM_VALUE 1 id u64max
PARAM_VALUE 2 sector 0,8-512,262144-18446744073709289984
PARAM_VALUE 5 gfp_mask 8194
CAPPED_DATA 0 peer_device->device->state.disk 1
CAPPED_DATA 2 sector 1
CAPPED_DATA 2 sector 1
DATA_SOURCE 0 peer_device $0
DATA_SOURCE 2 sector $1
DATA_SOURCE 3 request_size $2
DATA_SOURCE 4 payload_size $2
BIT_INFO 2 sector 0x0,0xfffffffffffffff8
BIT_INFO 2 sector 0x0,0xfffffffffffffff8
UNITS 2 sector unit_byte