Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/smc/smc_core.c smcr_buf_unuse() -> smc_llc_do_delete_rkey()

Type Parameter Key Value
PARAM_VALUE 0 lgr 4096-ptr_max
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->llc_conf_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 lgr->llc_conf_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 lgr->llc_conf_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 lgr->llc_flow_lcl.type 6
PARAM_VALUE 0 lgr->llc_flow_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 lgr->llc_flow_rmt.type 0,6
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 1 rmb_desc 4096-ptr_max
PARAM_VALUE 1 rmb_desc->is_conf_rkey 1-255
PARAM_VALUE 1 *rmb_desc->is_map_ib 0-255
BUF_SIZE 1 rmb_desc (-1),128
BUF_SIZE 1 rmb_desc (-1),128
CAPPED_DATA 0 &lgr->list 1
CAPPED_DATA 0 &lgr->llc_conf_mutex 1
DATA_SOURCE 0 lgr $2
DATA_SOURCE 1 rmb_desc $0
PARAM_COMPARE 0 &lgr->list != $0->list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &lgr->llc_conf_mutex
TYPE_LOCK (struct smc_link_group)->llc_conf_mutex