Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/smc/af_smc.c smcr_serv_conf_first_link() -> smc_llc_srv_add_link()

Type Parameter Key Value
PARAM_VALUE 0 link 4096-ptr_max
PARAM_VALUE 0 link->lgr 4096-ptr_max
PARAM_VALUE 0 link->lgr->llc_conf_mutex.dep_map->name 0-255
PARAM_VALUE 0 link->lgr->llc_conf_mutex.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 link->lgr->llc_conf_mutex.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 link->lgr->llc_conf_mutex.first_waiter->type 0-1
PARAM_VALUE 0 link->lgr->llc_conf_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 link->lgr->llc_conf_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 link->lgr->llc_conf_mutex.wait_lock.owner (-1)
PARAM_VALUE 0 link->lgr->llc_conf_mutex.wait_lock.owner_cpu u32max
PARAM_VALUE 0 link->lgr->llc_flow_lcl.qentry 0
PARAM_VALUE 0 link->lgr->max_links 2-255
PARAM_VALUE 0 link->lgr->rmbs_lock.dep_map->name 0-255
PARAM_VALUE 0 link->lgr->rmbs_lock.first_waiter->handoff_set 1
PARAM_VALUE 0 link->lgr->rmbs_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 link->lgr->rmbs_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 link->lgr->rmbs_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 link->lgr->sndbufs_lock.dep_map->name 0-255
PARAM_VALUE 0 link->lgr->sndbufs_lock.first_waiter->handoff_set 1
PARAM_VALUE 0 link->lgr->sndbufs_lock.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 link->lgr->sndbufs_lock.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 link->lgr->sndbufs_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 link->lgr->type 0-4
PARAM_VALUE 0 link->llc_testlink_wrk.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 link->roce_qp->real_qp 4096-ptr_max
PARAM_VALUE 0 link->roce_qp->real_qp->counter->mode.mode 0-2
PARAM_VALUE 0 link->smcibdev->mac 4096-ptr_max
PARAM_VALUE 0 link->state 3
PARAM_VALUE 0 link->wr_tx_refs.data 0,4096-ptr_max
PARAM_VALUE 1 req_qentry 0
CAPPED_DATA 0 link->lgr->type 1
CAPPED_DATA 0 &link->lgr->llc_conf_mutex 1
FUZZY_MAX 0 link->lgr->max_links 2
PARAM_COMPARE 0 &link->lgr->list != $0->lgr->list.next
NOCHECK_CALL
UNITS 0 link unit_byte
LOCK2 &smc->sk
LOCK2 global &smc_server_lgr_pending
LOCK2 0 &link->lgr->llc_conf_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct smc_link_group)->llc_conf_mutex
TYPE_LOCK (struct smc_sock)->sk

net/smc/smc_llc.c smc_llc_process_srv_add_link() -> smc_llc_srv_add_link()

Type Parameter Key Value
PARAM_VALUE 1 req_qentry 4096-ptr_max
UNITS 0 link unit_byte
LOCK2 &lgr->llc_conf_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct smc_link_group)->llc_conf_mutex