Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/smc/smc_core.c _smcr_buf_map_lgr() -> smcr_buf_map_link()

Type Parameter Key Value
PARAM_VALUE 0 buf_desc 4096-ptr_max
PARAM_VALUE 0 buf_desc->used 1-u32max
PARAM_VALUE 2 lnk 4096-ptr_max
PARAM_VALUE 2 lnk->lgr->rmbs 4096-ptr_max
PARAM_VALUE 2 lnk->lgr->rmbs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 2 lnk->lgr->rmbs_lock.first_waiter->type 0-1
PARAM_VALUE 2 lnk->lgr->sndbufs_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 2 lnk->lgr->sndbufs_lock.first_waiter->type 0-1
PARAM_VALUE 2 *lnk->gid 0-255
PARAM_VALUE 2 *lnk->ibname 0-255
PARAM_VALUE 2 *lnk->link_uid 0-255
PARAM_VALUE 2 *lnk->peer_gid 0-255
PARAM_VALUE 2 *lnk->peer_mac 0-255
CAPPED_DATA 0 &buf_desc->list 1
DATA_SOURCE 1 is_rmb $3
DATA_SOURCE 2 lnk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 lnk->max_recv_wr
NO_OVERFLOW_SIMPLE 2 lnk->max_send_wr
NO_OVERFLOW_SIMPLE 2 lnk->roce_pd->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 2 lnk->roce_pd->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 2 lnk->roce_pd->device->phys_port_cnt
NO_OVERFLOW_SIMPLE 2 lnk->wr_rx_buflen
LOCK2 lock
HALF_LOCKED2 &lgr->llc_conf_mutex
HALF_LOCKED2 &pool->lock

net/smc/smc_core.c smcr_buf_map_usable_links() -> smcr_buf_map_link()

Type Parameter Key Value
PARAM_VALUE 0 buf_desc 4096-ptr_max
PARAM_VALUE 0 buf_desc->list.next 4096-ptr_max
PARAM_VALUE 0 buf_desc->list.prev 4096-ptr_max
PARAM_VALUE 0 buf_desc->used 1
PARAM_VALUE 2 lnk 4096-ptr_max
PARAM_VALUE 2 lnk->state 2-u32max
BUF_SIZE 0 buf_desc (-1),128
BUF_SIZE 0 buf_desc (-1),128
DATA_SOURCE 0 buf_desc $1
DATA_SOURCE 1 is_rmb $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &lgr->llc_conf_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &smc->sk
HALF_LOCKED2 global &smc_client_lgr_pending
HALF_LOCKED2 global &smc_server_lgr_pending
TYPE_LOCK (struct smc_link_group)->llc_conf_mutex