Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/drbd/drbd_req.c do_submit() -> send_and_submit_pending()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->act_log 4096-ptr_max
PARAM_VALUE 0 device->act_log->pending_changes 0
PARAM_VALUE 0 device->al_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 device->al_wait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 device->resource 4096-ptr_max
PARAM_VALUE 0 device->resource->req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 pending 4114186257230864384
PARAM_VALUE 1 pending->next 4114186257230864384
PARAM_VALUE 1 pending->prev 4096-ptr_max
CAPPED_DATA 0 device->resource 1
CAPPED_DATA 0 &device->submit.writes 1
NOCHECK_CALL
HALF_LOCKED2 &pool->lock