Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/rnbd/rnbd-clt.c rnbd_get_iu() -> rnbd_get_permit()

Type Parameter Key Value
PARAM_VALUE 1 con_type 0
PARAM_VALUE 2 wait 1
BUF_SIZE 0 sess (-1),2152
BUF_SIZE 0 sess (-1),2152
BUF_SIZE 0 sess->rtrs (-1),2408
DATA_SOURCE 0 sess $0
DATA_SOURCE 1 con_type $1
DATA_SOURCE 2 wait $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sess->rtrs->queue_depth
HALF_LOCKED2 &of->mutex

drivers/block/rnbd/rnbd-clt.c rnbd_queue_rq() -> rnbd_get_permit()

Type Parameter Key Value
PARAM_VALUE 1 con_type 1
PARAM_VALUE 2 wait 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read