Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/smc/smc_core.c smcr_link_clear() -> smcr_buf_unmap_lgr()

Type Parameter Key Value
PARAM_VALUE 0 lnk 4096-ptr_max
PARAM_VALUE 0 lnk->clearing 1
PARAM_VALUE 0 lnk->lgr 1-u64max
PARAM_VALUE 0 lnk->lgr->llc_conf_mutex.first_waiter->handoff_set 0-1
PARAM_VALUE 0 lnk->lgr->llc_conf_mutex.first_waiter->type 0-1
PARAM_VALUE 0 lnk->lgr->rmbs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 lnk->lgr->rmbs_lock.first_waiter->type 0-1
PARAM_VALUE 0 lnk->lgr->sndbufs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 lnk->lgr->sndbufs_lock.first_waiter->type 0-1
PARAM_VALUE 0 lnk->llc_testlink_resp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 lnk->llc_testlink_resp.wait.lock.owner (-1)
PARAM_VALUE 0 lnk->llc_testlink_resp.wait.lock.owner_cpu u32max
PARAM_VALUE 0 lnk->llc_testlink_wrk.work.lockdep_map->name 0-255
PARAM_VALUE 0 lnk->peer_qpn 0
PARAM_VALUE 0 lnk->state 1-u32max
CAPPED_DATA 0 lnk 1
DATA_SOURCE 0 lnk $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 lnk->max_recv_wr
NO_OVERFLOW_SIMPLE 0 lnk->max_send_wr
NO_OVERFLOW_SIMPLE 0 lnk->roce_pd->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 lnk->roce_pd->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 lnk->roce_pd->device->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 lnk->wr_rx_buflen
UNITS 0 lnk unit_byte
HALF_LOCKED2 &lgr->llc_conf_mutex