Documented in 1 files:

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_mark_for_writeout()

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->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
PARAM_VALUE 1 page_nr 0-134217727
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->state.disk 1
CAPPED_DATA 0 &device->act_log->to_be_changed 1
DATA_SOURCE 0 device $0
STR_LEN 0 device->resync->name (-1),6
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 device->act_log->nr_elements
NO_OVERFLOW_SIMPLE 0 device->resync->nr_elements
UNITS 0 device unit_byte
LOCK2 irq
LOCK2 0 &device->al_lock
TYPE_LOCK (struct drbd_device)->al_lock