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_req.c prepare_al_transaction_nonblock() -> drbd_al_begin_io_nonblock()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
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->req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 i 4096-ptr_max
CAPPED_DATA 0 device->resource 1
DATA_SOURCE 0 device $0
PREEMPT_ADD <- disables preempt
LOCK2 irq
LOCK2 0 &device->al_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct drbd_device)->al_lock