Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/block/drbd/drbd_bitmap.c drbd_bm_resize() -> drbd_bm_lock()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->vdisk 4096-ptr_max
PARAM_VALUE 0 device->vdisk->part0 4096-ptr_max
PARAM_VALUE 1 why 4270727774920212480
PARAM_VALUE 2 flags 15
BUF_SIZE 0 device->ldev (-1),208
BUF_SIZE 0 device->resync (-1),176
BUF_SIZE 0 device->rs_plan_s (-1),12-s32max
BUF_SIZE 1 why 7
CAPPED_DATA 0 device 1
DATA_SOURCE 0 device $0
STR_LEN 0 device 6
STR_LEN 0 device->resync->name (-1),6
TERMINATED 1 why 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 device->act_log->nr_elements
NO_OVERFLOW_SIMPLE 0 device->resync->nr_elements

drivers/block/drbd/drbd_state.c drbd_bitmap_io_from_worker() -> drbd_bm_lock()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->bitmap 1-u64max
PARAM_VALUE 0 device->ldev 1-u64max
PARAM_VALUE 1 why 8004350084184649728
PARAM_VALUE 2 flags 11
BUF_SIZE 1 why 7
BUF_SIZE 1 why 7
DATA_SOURCE 0 device $0
DATA_SOURCE 1 why $2
DATA_SOURCE 2 flags $3
STR_LEN 0 device 6
STR_LEN 0 device 6
TERMINATED 1 why 1
NOCHECK_CALL

drivers/block/drbd/drbd_main.c drbd_bitmap_io() -> drbd_bm_lock()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 1 why 4096-ptr_max
PARAM_VALUE 2 flags 8-9,11,15
BUF_SIZE 0 device->ldev (-1),208
BUF_SIZE 0 device->p_uuid (-1),8
BUF_SIZE 0 device->resync (-1),176
BUF_SIZE 0 device->rs_plan_s (-1),12-s32max
BUF_SIZE 1 why 13,20,24,27-28,30,32-33
BUF_SIZE 1 why 13,20,24,27-28,30,32-33
CAPPED_DATA 0 device 1
DATA_SOURCE 0 device $0
DATA_SOURCE 1 why $2
DATA_SOURCE 2 flags $3
STR_LEN 0 device 12,19,23,26-27,29,31-32
STR_LEN 0 device 12,19,23,26-27,29,31-32
STR_LEN 0 device->resync->name (-1),6
TERMINATED 1 why 1
HARD_MAX 2 flags 15
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 device->act_log->nr_elements
NO_OVERFLOW_SIMPLE 0 device->resync->nr_elements
HALF_LOCKED2 &adm_ctx->resource->adm_mutex
HALF_LOCKED2 0 device->state_mutex

drivers/block/drbd/drbd_main.c w_bitmap_io() -> drbd_bm_lock()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->state.disk 4-15
NOCHECK_CALL

drivers/block/drbd/drbd_receiver.c receive_bitmap() -> drbd_bm_lock()

Type Parameter Key Value
PARAM_VALUE 1 why 7911833931559759872
PARAM_VALUE 2 flags 9
BUF_SIZE 1 why 15
STR_LEN 0 device 14
TERMINATED 1 why 1
NOCHECK_CALL