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 got_IsInSync() -> drbd_rs_complete_io()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->state.disk 1-15
NOCHECK_CALL
UNITS 1 sector unit_byte

drivers/block/drbd/drbd_receiver.c got_NegRSDReply() -> drbd_rs_complete_io()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->state.disk 1-15
NOCHECK_CALL
UNITS 1 sector unit_byte

drivers/block/drbd/drbd_receiver.c got_OVResult() -> drbd_rs_complete_io()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->state.disk 1-15
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 sector
UNITS 1 sector unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
CAPPED_DATA 0 device->state.disk 1
NOCHECK_CALL
UNITS 1 sector unit_byte

drivers/block/drbd/drbd_worker.c drbd_endio_write_sec_final() -> drbd_rs_complete_io()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->done_ee.prev 4096-ptr_max
PARAM_VALUE 0 device->done_ee.prev->next 4096-ptr_max
PARAM_VALUE 0 device->done_ee.prev->next->next 4096-ptr_max
PARAM_VALUE 0 device->resource 4096-ptr_max
PARAM_VALUE 0 device->resource->req_lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 sector
UNITS 1 sector unit_byte

drivers/block/drbd/drbd_worker.c make_resync_request() -> drbd_rs_complete_io()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->bitmap 1,4096-ptr_max
PARAM_VALUE 0 device->bitmap->bm_bits 1-s64max
PARAM_VALUE 0 device->bitmap->bm_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 device->bm_resync_fo 1-65,32769-18446744073709518913
PARAM_VALUE 0 device->rq_queue 4096-ptr_max
PARAM_VALUE 0 device->rs_total 1-u64max
PARAM_VALUE 0 device->state.disk 1-15
PARAM_VALUE 0 device->vdisk 4096-ptr_max
PARAM_VALUE 0 device->vdisk->part0 4096-ptr_max
PARAM_VALUE 1 sector 0,8-512,262144-18446744073709289984
CAPPED_DATA 0 device->bitmap->bm_bits 1
CAPPED_DATA 0 device->bm_resync_fo 1
CAPPED_DATA 1 sector 1
CAPPED_DATA 1 sector 1
BIT_INFO 1 sector 0x0,0xfffffffffffffff8
BIT_INFO 1 sector 0x0,0xfffffffffffffff8
NOCHECK_CALL
UNITS 1 sector unit_byte

drivers/block/drbd/drbd_worker.c make_resync_request() -> drbd_rs_complete_io()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->bitmap 1,4096-ptr_max
PARAM_VALUE 0 device->bitmap->bm_bits 1-s64max
PARAM_VALUE 0 device->bitmap->bm_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 device->rq_queue 4096-ptr_max
PARAM_VALUE 0 device->rs_total 1-u64max
PARAM_VALUE 0 device->state.disk 1-15
PARAM_VALUE 0 device->use_csums 1
PARAM_VALUE 0 device->vdisk 4096-ptr_max
PARAM_VALUE 0 device->vdisk->part0 4096-ptr_max
PARAM_VALUE 1 sector 0,8-512,262144-18446744073709289984
CAPPED_DATA 0 device->bitmap->bm_bits 1
CAPPED_DATA 1 sector 1
CAPPED_DATA 1 sector 1
BIT_INFO 1 sector 0x0,0xfffffffffffffff8
BIT_INFO 1 sector 0x0,0xfffffffffffffff8
NOCHECK_CALL
UNITS 1 sector unit_byte

drivers/block/drbd/drbd_worker.c w_e_end_csum_rs_req() -> drbd_rs_complete_io()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->state.disk 1-15
NOCHECK_CALL
UNITS 1 sector unit_byte

drivers/block/drbd/drbd_worker.c w_e_end_ov_reply() -> drbd_rs_complete_io()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->state.disk 1-15
NOCHECK_CALL
UNITS 1 sector unit_byte

drivers/block/drbd/drbd_worker.c w_e_end_rsdata_req() -> drbd_rs_complete_io()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->state.disk 1-15
NOCHECK_CALL
UNITS 1 sector unit_byte