smc_ib_dealloc_protection_domain identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

net/smc/smc_ib.h, line 93 (as a prototype)

Defined in 1 files as a function:

net/smc/smc_ib.c, line 451 (as a function)

Referenced in 1 files:

net/smc/smc_core.c
- line 873
- line 1379

Smatch caller information:

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

Type	Parameter	Key	Value
PARAM_VALUE	0	lnk	4096-ptr_max
PARAM_VALUE	0	lnk->clearing	1
PARAM_VALUE	0	lnk->lgr	4096-ptr_max
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.dep_map->name	0-255
PARAM_VALUE	0	lnk->lgr->rmbs_lock.first_waiter->handoff_set	1
PARAM_VALUE	0	lnk->lgr->rmbs_lock.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	lnk->lgr->rmbs_lock.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	lnk->lgr->rmbs_lock.first_waiter->type	0-1
PARAM_VALUE	0	lnk->lgr->rmbs_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	lnk->lgr->sndbufs_lock.dep_map->name	0-255
PARAM_VALUE	0	lnk->lgr->sndbufs_lock.first_waiter->handoff_set	1
PARAM_VALUE	0	lnk->lgr->sndbufs_lock.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	lnk->lgr->sndbufs_lock.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	lnk->lgr->sndbufs_lock.first_waiter->type	0-1
PARAM_VALUE	0	lnk->lgr->sndbufs_lock.osq.tail.counter	0-s32max
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->roce_qp	0
PARAM_VALUE	0	lnk->smcibdev	0,4096-ptr_max
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

net/smc/smc_core.c smcr_link_init() -> smc_ib_dealloc_protection_domain()

Type	Parameter	Key	Value
PARAM_VALUE	0	lnk	4096-ptr_max
PARAM_VALUE	0	lnk->clearing	0
PARAM_VALUE	0	lnk->conn_cnt.counter	0
PARAM_VALUE	0	lnk->lgr	4096-ptr_max
PARAM_VALUE	0	lnk->link_idx	0-2
PARAM_VALUE	0	lnk->llc_testlink_resp.done	0
PARAM_VALUE	0	lnk->llc_testlink_resp.wait.lock.magic	3735899821
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_resp.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	lnk->llc_testlink_resp.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	lnk->llc_testlink_resp.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	lnk->llc_testlink_resp.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	lnk->llc_testlink_resp.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	lnk->refcnt.refs.counter	1
PARAM_VALUE	0	lnk->roce_pd	4096-ptr_max
PARAM_VALUE	0	lnk->roce_pd->device	4096-ptr_max
PARAM_VALUE	0	lnk->roce_pd->device->ops.size_ib_pd	0-4000000
PARAM_VALUE	0	lnk->roce_pd->flags	0
PARAM_VALUE	0	lnk->roce_pd->res.comp.done	0
PARAM_VALUE	0	lnk->roce_pd->res.comp.wait.lock.magic	3735899821
PARAM_VALUE	0	lnk->roce_pd->res.comp.wait.lock.owner	(-1)
PARAM_VALUE	0	lnk->roce_pd->res.comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	lnk->roce_pd->res.comp.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	lnk->roce_pd->res.comp.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	lnk->roce_pd->res.comp.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	lnk->roce_pd->res.comp.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	lnk->roce_pd->res.comp.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	lnk->roce_pd->res.kern_name	4070348433790021632
PARAM_VALUE	0	lnk->roce_pd->res.kref.refcount.refs.counter	1
PARAM_VALUE	0	lnk->roce_pd->res.type	0
PARAM_VALUE	0	lnk->roce_qp	0
PARAM_VALUE	0	lnk->smcibdev	4096-ptr_max
PARAM_VALUE	0	lnk->smcibdev->ibdev	4096-ptr_max
PARAM_VALUE	0	lnk->smcibdev->ibdev->dma_device->dma_io_tlb_pools.next	4096-ptr_max
PARAM_VALUE	0	lnk->smcibdev->ibdev->dma_device->dma_io_tlb_pools.next->prev	4096-ptr_max
PARAM_VALUE	0	lnk->smcibdev->ibdev->dma_device->dma_io_tlb_pools.next->prev->prev	4096-ptr_max
PARAM_VALUE	0	lnk->smcibdev->ibdev->dma_device->dma_uses_io_tlb	1
PARAM_VALUE	0	lnk->smcibdev->ibdev->ops.size_ib_pd	0-4000000
PARAM_VALUE	0	lnk->smcibdev->pattr	4096-ptr_max
PARAM_VALUE	0	lnk->tx_ref_comp.done	0
PARAM_VALUE	0	lnk->tx_ref_comp.wait.lock.magic	3735899821
PARAM_VALUE	0	lnk->tx_ref_comp.wait.lock.owner	(-1)
PARAM_VALUE	0	lnk->tx_ref_comp.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	lnk->tx_ref_comp.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	lnk->tx_ref_comp.wait.task_list.next->next	4096-ptr_max
PARAM_VALUE	0	lnk->tx_ref_comp.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	lnk->tx_ref_comp.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	lnk->tx_ref_comp.wait.task_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	lnk->wr_reg.access	3
PARAM_VALUE	0	lnk->wr_reg.wr.next	0
PARAM_VALUE	0	lnk->wr_reg.wr.num_sge	0
PARAM_VALUE	0	lnk->wr_reg.wr.opcode	32
PARAM_VALUE	0	lnk->wr_reg.wr.send_flags	2
PARAM_VALUE	0	lnk->wr_reg_refs.percpu_count_ptr	0
PARAM_VALUE	0	lnk->wr_reg_wait.head.next	4096-ptr_max
PARAM_VALUE	0	lnk->wr_reg_wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	lnk->wr_reg_wait.head.prev	4096-ptr_max
PARAM_VALUE	0	lnk->wr_reg_wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	lnk->wr_reg_wait.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	lnk->wr_rx_buflen	48,8192
PARAM_VALUE	0	lnk->wr_rx_bufs	0,16,4096-ptr_max
PARAM_VALUE	0	lnk->wr_rx_cnt	0
PARAM_VALUE	0	lnk->wr_rx_dma_addr	0
PARAM_VALUE	0	lnk->wr_rx_ibs	0,16,4096-ptr_max
PARAM_VALUE	0	lnk->wr_rx_id	0
PARAM_VALUE	0	lnk->wr_rx_id_compl	0
PARAM_VALUE	0	lnk->wr_rx_sge_cnt	1-2
PARAM_VALUE	0	lnk->wr_rx_sges	0,16,4096-ptr_max
PARAM_VALUE	0	lnk->wr_rx_v2_dma_addr	0
PARAM_VALUE	0	lnk->wr_tx_bufs	0,16,4096-ptr_max
PARAM_VALUE	0	lnk->wr_tx_cnt	0
PARAM_VALUE	0	lnk->wr_tx_compl	0,16,4096-ptr_max
PARAM_VALUE	0	lnk->wr_tx_ibs	0,16,4096-ptr_max
PARAM_VALUE	0	lnk->wr_tx_id.counter	0
PARAM_VALUE	0	lnk->wr_tx_mask	0,16,4096-ptr_max
PARAM_VALUE	0	lnk->wr_tx_pends	0,16,4096-ptr_max
PARAM_VALUE	0	lnk->wr_tx_rdma_sges	0,16,4096-ptr_max
PARAM_VALUE	0	lnk->wr_tx_rdmas	0,16,4096-ptr_max
PARAM_VALUE	0	lnk->wr_tx_refs.data	0
PARAM_VALUE	0	lnk->wr_tx_sges	0,16,4096-ptr_max
PARAM_VALUE	0	lnk->wr_tx_v2_dma_addr	0
PARAM_VALUE	0	lnk->wr_tx_v2_ib	0,4096-ptr_max
PARAM_VALUE	0	lnk->wr_tx_v2_pend	0
PARAM_VALUE	0	lnk->wr_tx_v2_sge	0,4096-ptr_max
PARAM_VALUE	0	lnk->wr_tx_wait.head.next	4096-ptr_max
PARAM_VALUE	0	lnk->wr_tx_wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	lnk->wr_tx_wait.head.prev	4096-ptr_max
PARAM_VALUE	0	lnk->wr_tx_wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	lnk->wr_tx_wait.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	*lnk->ibname	0-255
PARAM_VALUE	0	*lnk->link_uid	0-255
BUF_SIZE	0	lnk	(-1),5184
BUF_SIZE	0	lnk	(-1),5184
BUF_SIZE	0	lnk->lgr	(-1),19776
CAPPED_DATA	0	lnk->ibport	1
DATA_SOURCE	0	lnk	$1
FUZZY_MAX	0	lnk->wr_rx_buflen	8192
FUZZY_MAX	0	lnk->wr_rx_sge_cnt	2
BIT_INFO	0	lnk->psn_initial	0x0,0x7fffffff
BIT_INFO	0	lnk->wr_rx_buflen	0x0,0x2030
TERMINATED	0	lnk->roce_pd->res.kern_name	1
HARD_MAX	0	lnk->wr_rx_buflen	8192
HARD_MAX	0	lnk->wr_rx_sge_cnt	2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	lnk->ibname
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
HALF_LOCKED2		&pool->lock