Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/drbd/drbd_actlog.c __al_write_transaction() -> drbd_bm_write_hinted()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->act_log 4096-ptr_max
PARAM_VALUE 0 device->al_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 device->al_tr_cycle s32min-(-2),0-s32max
PARAM_VALUE 0 device->bitmap 4096-ptr_max
PARAM_VALUE 0 device->bitmap->n_bitmap_hints 0-64
PARAM_VALUE 0 device->ldev 4096-ptr_max
PARAM_VALUE 0 device->md_io.current_use 2322461615860039680,8027704850769805312
PARAM_VALUE 0 device->misc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 device->misc_wait.head.prev->next->next 4096-ptr_max
BUF_SIZE 0 device->ldev (-1),208
BUF_SIZE 0 device->resync (-1),176
BUF_SIZE 0 device->rs_plan_s (-1),12-s32max
CAPPED_DATA 0 device->al_tr_cycle 1
CAPPED_DATA 0 device->state.disk 1
CAPPED_DATA 0 &device->act_log->to_be_changed 1
DATA_SOURCE 0 device $0
FUZZY_MAX 0 device->al_tr_cycle 0
STR_LEN 0 device->resync->name (-1),6
PARAM_COMPARE 0 device->act_log->nr_elements >= $0->al_tr_cycle
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 device->act_log->nr_elements
NO_OVERFLOW_SIMPLE 0 device->resync->nr_elements
UNITS 0 device unit_byte