irdma_free_pble identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

drivers/infiniband/hw/irdma/pble.c, line 501

Defined in 1 files as a prototype:

drivers/infiniband/hw/irdma/pble.h, line 113 (as a prototype)

Defined in 1 files as a function:

drivers/infiniband/hw/irdma/pble.c, line 506 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/hw/irdma/verbs.c irdma_alloc_mr() -> irdma_free_pble()

Type	Parameter	Key	Value
PARAM_VALUE	0	pble_rsrc	4096-ptr_max
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.dep_map->name	0-255
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	pble_rsrc->pinfo.prm_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	palloc	4096-ptr_max
PARAM_VALUE	1	palloc->level	1-2
PARAM_VALUE	1	palloc->level1.addr	0,4096-ptr_max
PARAM_VALUE	1	palloc->level1.chunkinfo.bit_idx	0-4294967294
PARAM_VALUE	1	palloc->level1.chunkinfo.bits_used	0-4294967351
PARAM_VALUE	1	palloc->level1.chunkinfo.pchunk	4096-ptr_max
PARAM_VALUE	1	palloc->level1.chunkinfo.pchunk->bitmapbuf	4096-ptr_max
PARAM_VALUE	1	palloc->level1.chunkinfo.pchunk->sizeofbitmap	1-u32max
PARAM_VALUE	1	palloc->level2.leaf->chunkinfo.bit_idx	0-4294967294
PARAM_VALUE	1	palloc->level2.leaf->chunkinfo.bits_used	0-4294967351
PARAM_VALUE	1	palloc->level2.leaf->chunkinfo.pchunk	4096-ptr_max
PARAM_VALUE	1	palloc->level2.leaf->chunkinfo.pchunk->bitmapbuf	4096-ptr_max
PARAM_VALUE	1	palloc->level2.leaf->chunkinfo.pchunk->sizeofbitmap	1-u32max
PARAM_VALUE	1	palloc->level2.leaf_cnt	1-8388608
PARAM_VALUE	1	palloc->level2.leafmem.size	40-335544320
PARAM_VALUE	1	palloc->level2.leafmem.va	0,4096-ptr_max
BUF_SIZE	1	palloc	72
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	pble_rsrc->allocdpbles
NO_OVERFLOW_SIMPLE	1	palloc->total_cnt
HALF_LOCKED2		&cls_conn->ep_mutex
HALF_LOCKED2		&clt_path->init_mutex
HALF_LOCKED2		&iser_conn->state_mutex
HALF_LOCKED2		&pool->lock
HALF_LOCKED2		&srv->paths_mutex
HALF_LOCKED2		global &rx_queue_mutex

drivers/infiniband/hw/irdma/verbs.c irdma_dereg_mr() -> irdma_free_pble()

Type	Parameter	Key	Value
PARAM_VALUE	1	palloc	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/irdma/verbs.c irdma_handle_q_mem() -> irdma_free_pble()

Type	Parameter	Key	Value
PARAM_VALUE	0	pble_rsrc->dev->hw->device->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.dep_map->name	0-255
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	pble_rsrc->pinfo.prm_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	palloc	4096-ptr_max
BUF_SIZE	1	palloc	72
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	pble_rsrc->allocdpbles

drivers/infiniband/hw/irdma/verbs.c irdma_reg_user_mr_type_mem() -> irdma_free_pble()

Type	Parameter	Key	Value
PARAM_VALUE	0	pble_rsrc->dev->hw->device->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.dep_map->name	0-255
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	pble_rsrc->pinfo.prm_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	palloc	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	pble_rsrc->allocdpbles

drivers/infiniband/hw/irdma/verbs.c irdma_reg_user_mr_type_mem() -> irdma_free_pble()

Type	Parameter	Key	Value
PARAM_VALUE	0	pble_rsrc->dev->hw->device->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.dep_map->name	0-255
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	pble_rsrc->pinfo.prm_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	palloc	4096-ptr_max
PARAM_VALUE	1	palloc->level	1-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	pble_rsrc->allocdpbles

drivers/infiniband/hw/irdma/verbs.c irdma_rereg_user_mr() -> irdma_free_pble()

Type	Parameter	Key	Value
PARAM_VALUE	1	palloc	4096-ptr_max
NOCHECK_CALL
HALF_LOCKED2		&file->device->disassociate_srcu

drivers/infiniband/hw/irdma/hw.c irdma_create_virt_aeq() -> irdma_free_pble()

Type	Parameter	Key	Value
PARAM_VALUE	0	pble_rsrc	4096-ptr_max
PARAM_VALUE	0	pble_rsrc->dev	4096-ptr_max
PARAM_VALUE	0	pble_rsrc->dev->ccq	4096-ptr_max
PARAM_VALUE	0	pble_rsrc->dev->ceq_valid	1
PARAM_VALUE	0	pble_rsrc->dev->cqp	4096-ptr_max
PARAM_VALUE	0	pble_rsrc->dev->cqp->polarity	0-1
PARAM_VALUE	0	pble_rsrc->dev->cqp_cmd_head.next	18379471554275705064,18446612682070032616
PARAM_VALUE	0	pble_rsrc->dev->fpm_commit_buf	4096-ptr_max
PARAM_VALUE	0	pble_rsrc->dev->fpm_query_buf	4096-ptr_max
PARAM_VALUE	0	pble_rsrc->dev->hmc_fpm_misc.fw_scratch_buf0.va	0-ptr_max
PARAM_VALUE	0	pble_rsrc->dev->hmc_fpm_misc.fw_scratch_buf1.va	0-ptr_max
PARAM_VALUE	0	pble_rsrc->dev->hmc_fpm_misc.ird	0,2,4,8,16,32,64,128
PARAM_VALUE	0	pble_rsrc->dev->hmc_fpm_misc.max_sds	0-u16max
PARAM_VALUE	0	pble_rsrc->dev->hmc_fpm_misc.q1_block_size	1-u32max
PARAM_VALUE	0	pble_rsrc->dev->hmc_info	4096-ptr_max
PARAM_VALUE	0	pble_rsrc->dev->hw	4096-ptr_max
PARAM_VALUE	0	pble_rsrc->dev->hw->device->dma_io_tlb_pools.next->prev	4096-ptr_max
PARAM_VALUE	0	pble_rsrc->dev->hw->device->dma_io_tlb_pools.next->prev->prev	4096-ptr_max
PARAM_VALUE	0	pble_rsrc->dev->hw->device->dma_uses_io_tlb	1
PARAM_VALUE	0	pble_rsrc->dev->hw->device->iommu->attach_deferred	0-1
PARAM_VALUE	0	pble_rsrc->dev->hw->device->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.first_hw_vf_fpm_id	0,8,16
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_cqp_compl_wait_time_ms	10
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_done_count	1000
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_hw_aeq_size	262144,524287
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_hw_ceq_size	262143
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_hw_device_pages	0,16,256,1024,8192
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_hw_ena_vf_count	32
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_hw_inbound_msg_size	s32max
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_hw_ird	0,2,4,8,16,32,63-64,127-128
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_hw_ord	0,2,4,8,16,32,64,127-128,255
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_hw_outbound_msg_size	s32max
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_hw_pds	32768,262144
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_hw_vf_fpm_id	0-1,47
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_hw_wqes	2048,32768
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_mr_size	35184372088832
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_pe_ready_count	14
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_qp_wr	895,4063
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_sleep_count	10
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_stat_idx	0,42,46,57
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.max_stat_inst	0,16,128
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.min_hw_aeq_size	1
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.min_hw_ceq_size	1
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.page_size_cap	0,2101248,1075843072
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.uk_attrs.feature_flags	0,3,64,419
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.uk_attrs.max_hw_cq_size	1048575
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.uk_attrs.max_hw_inline	48,101,216
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.uk_attrs.max_hw_read_sges	1,13-14
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.uk_attrs.max_hw_rq_quanta	16384,32768
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.uk_attrs.max_hw_sq_chunk	0,2,8
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.uk_attrs.max_hw_srq_quanta	0,262144
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.uk_attrs.max_hw_wq_frags	3,13-14
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.uk_attrs.max_hw_wq_quanta	2048,32768
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.uk_attrs.min_hw_cq_size	1
PARAM_VALUE	0	pble_rsrc->dev->hw_attrs.uk_attrs.min_hw_wq_size	0,4,8,16
PARAM_VALUE	0	pble_rsrc->dev->hw_stats_map	0,1823486988449316864,2135430346552741888,6619212455417778176
PARAM_VALUE	0	pble_rsrc->dev->irq_ops	0,158607860196007936,3405804415306620928,6541537389355044864
PARAM_VALUE	0	pble_rsrc->dev->vc_recv_len	0,512
PARAM_VALUE	0	pble_rsrc->dev->vchnl_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	pble_rsrc->dev->ws_mutex.magic	4096-ptr_max
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.dep_map->name	0-255
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	pble_rsrc->pble_mutex_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	pble_rsrc->pinfo.clist.prev	4096-ptr_max
PARAM_VALUE	0	pble_rsrc->pinfo.clist.prev->next	4096-ptr_max
PARAM_VALUE	0	pble_rsrc->pinfo.clist.prev->prev	4096-ptr_max
PARAM_VALUE	0	pble_rsrc->pinfo.pble_shift	6
PARAM_VALUE	0	pble_rsrc->pinfo.prm_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	palloc	4096-ptr_max
PARAM_VALUE	1	palloc->level	1-2
PARAM_VALUE	1	palloc->level1.chunkinfo.bit_idx	0-4294967294
PARAM_VALUE	1	palloc->level1.chunkinfo.bits_used	0-4294967351
PARAM_VALUE	1	palloc->level1.chunkinfo.pchunk	4096-ptr_max
PARAM_VALUE	1	palloc->level2.leaf_cnt	1-8388608
PARAM_VALUE	1	palloc->level2.leafmem.size	40-335544320
PARAM_VALUE	1	palloc->total_cnt	1-2048
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	pble_rsrc->allocdpbles
NO_OVERFLOW_SIMPLE	1	palloc->total_cnt
HALF_LOCKED2		&pool->lock

drivers/infiniband/hw/irdma/hw.c irdma_destroy_virt_aeq() -> irdma_free_pble()

Type	Parameter	Key	Value
PARAM_VALUE	0	pble_rsrc->dev->hw->device->cma_area->nranges	s32min-s32max
PARAM_VALUE	0	pble_rsrc->dev->hw->device->iommu->attach_deferred	0-1
PARAM_VALUE	0	pble_rsrc->dev->hw->device->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	pble_rsrc->pinfo.pble_shift	6
PARAM_VALUE	1	palloc	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	pble_rsrc->allocdpbles
NO_OVERFLOW_SIMPLE	0	pble_rsrc->freedpbles
HALF_LOCKED2		&pool->lock