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_receiver.c drbd_finish_peer_reqs() -> (struct drbd_work)->cb()

Type Parameter Key Value
PARAM_VALUE 0 w 4096-ptr_max
PARAM_VALUE 1 unused 0-1
FUZZY_MAX 1 unused 1
CONTAINER 0 -16+0 $(-1)
HARD_MAX 1 unused 1

drivers/block/drbd/drbd_worker.c drbd_worker() -> (struct drbd_work)->cb()

Type Parameter Key Value
PARAM_VALUE 0 w 4096-ptr_max
PARAM_VALUE 0 w->list.next->prev 4096-ptr_max
PARAM_VALUE 0 w->list.prev->next 4096-ptr_max
PARAM_VALUE 1 unused 0-1
FUZZY_MAX 1 unused 1
CONTAINER 0 -16+0 $(-1)
HARD_MAX 1 unused 1

drivers/block/drbd/drbd_worker.c drbd_worker() -> (struct drbd_work)->cb()

Type Parameter Key Value
PARAM_VALUE 0 w 4096-ptr_max
PARAM_VALUE 0 w->list.next->prev 4096-ptr_max
PARAM_VALUE 0 w->list.prev->next 4096-ptr_max
PARAM_VALUE 1 unused 1
CONTAINER 0 -16+0 $(-1)
NOCHECK_CALL