Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/smc/smc_core.c smc_buf_free() -> smcd_buf_free()

Type Parameter Key Value
PARAM_VALUE 0 lgr 4096-ptr_max
PARAM_VALUE 0 lgr->is_smcd 1
PARAM_VALUE 0 lgr->llc_conf_mutex.first_waiter->handoff_set 0-1
PARAM_VALUE 0 lgr->llc_conf_mutex.first_waiter->type 0-1
PARAM_VALUE 0 lgr->rmbs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 lgr->rmbs_lock.first_waiter->type 0-1
PARAM_VALUE 0 lgr->sndbufs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 lgr->sndbufs_lock.first_waiter->type 0-1
PARAM_VALUE 2 buf_desc 4096-ptr_max
PARAM_VALUE 2 *buf_desc->is_map_ib 0-255
BUF_SIZE 0 lgr->tx_wq (-1),512,528-8720
BUF_SIZE 2 buf_desc (-1),128
BUF_SIZE 2 buf_desc (-1),128
DATA_SOURCE 0 lgr $0
DATA_SOURCE 1 is_dmb $1
DATA_SOURCE 2 buf_desc $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 lgr->tx_wq->rescuer->task->dl.pi_se->dl_runtime