efa_request_irq identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/infiniband/hw/efa/efa_main.c, line 130 (as a function)

Referenced in 1 files:

drivers/infiniband/hw/efa/efa_main.c
- line 189
- line 314

Smatch caller information:

drivers/infiniband/hw/efa/efa_main.c efa_create_eq() -> efa_request_irq()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->admin_irq.affinity_hint_mask.bits	4096-ptr_max
PARAM_VALUE	0	dev->admin_irq.data	4096-ptr_max
PARAM_VALUE	0	dev->admin_irq.handler	6826362823624945664
PARAM_VALUE	0	dev->admin_irq.irqn	0
PARAM_VALUE	0	dev->admin_irq.vector	0
PARAM_VALUE	0	dev->admin_msix_vector_idx	0
PARAM_VALUE	0	dev->cqs_xa.xa_flags	0
PARAM_VALUE	0	dev->cqs_xa.xa_head	0
PARAM_VALUE	0	dev->dev_attr->addr	0-255
PARAM_VALUE	0	dev->dev_attr.admin_api_version	1-u32max
PARAM_VALUE	0	dev->dev_attr.max_link_speed_gbps	1-u16max
PARAM_VALUE	0	dev->dev_attr.max_mr_pages	0-u32max
PARAM_VALUE	0	dev->dev_attr.phys_addr_width	0-255
PARAM_VALUE	0	dev->dev_attr.virt_addr_width	0-255
PARAM_VALUE	0	dev->edev->aq->comp_ctx_pool	0-u16max
PARAM_VALUE	0	dev->edev.aenq.aenq_handlers	7142010521494925312
PARAM_VALUE	0	dev->edev.aenq.aenq_handlers->unimplemented_handler	7768369294535835648
PARAM_VALUE	0	dev->edev.aenq.cc	0
PARAM_VALUE	0	dev->edev.aenq.depth	16
PARAM_VALUE	0	dev->edev.aenq.entries	0-ptr_max
PARAM_VALUE	0	dev->edev.aenq.msix_vector_idx	0
PARAM_VALUE	0	dev->edev.aenq.phase	1
PARAM_VALUE	0	dev->edev.aq.avail_cmds.first_waiter->up	0-1
PARAM_VALUE	0	dev->edev.aq.avail_cmds.last_holder	0
PARAM_VALUE	0	dev->edev.aq.avail_cmds.lock.dep_map->name	0-255
PARAM_VALUE	0	dev->edev.aq.comp_ctx	4096-ptr_max
PARAM_VALUE	0	dev->edev.aq.comp_ctx->cmd_id	0-4095
PARAM_VALUE	0	dev->edev.aq.comp_ctx->cmd_opcode	0-255
PARAM_VALUE	0	dev->edev.aq.comp_ctx->comp_size	0,8,12,20,24,32,56,64
PARAM_VALUE	0	dev->edev.aq.comp_ctx->status	0-3
PARAM_VALUE	0	dev->edev.aq.comp_ctx_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->edev.aq.completion_timeout	1-u16max
PARAM_VALUE	0	dev->edev.aq.cq.entries	0-ptr_max
PARAM_VALUE	0	dev->edev.aq.cq.validate_checksum	1
PARAM_VALUE	0	dev->edev.aq.depth	32
PARAM_VALUE	0	dev->edev.aq.dmadev	4096-ptr_max
PARAM_VALUE	0	dev->edev.aq.dmadev->cma_area->alloc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->edev.aq.dmadev->cma_area->alloc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->edev.aq.dmadev->cma_area->alloc_mutex.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	dev->edev.aq.dmadev->dma_uses_io_tlb	1
PARAM_VALUE	0	dev->edev.aq.dmadev->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	dev->edev.aq.efa_dev	4096-ptr_max
PARAM_VALUE	0	dev->edev.aq.msix_vector_idx	0
PARAM_VALUE	0	dev->edev.aq.poll_interval	1-u16max
PARAM_VALUE	0	dev->edev.aq.sq.phase	0-1
PARAM_VALUE	0	dev->edev.aq.stats.counter	0
PARAM_VALUE	0	dev->edev.dma_addr_bits	32-64
PARAM_VALUE	0	dev->edev.dmadev	4096-ptr_max
PARAM_VALUE	0	dev->edev.dmadev->cma_area->alloc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->edev.dmadev->cma_area->alloc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->edev.dmadev->cma_area->alloc_mutex.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	dev->edev.dmadev->dma_uses_io_tlb	1
PARAM_VALUE	0	dev->edev.dmadev->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	dev->edev.efa_dev	4096-ptr_max
PARAM_VALUE	0	dev->edev.mmio_read.read_resp	4096-ptr_max
PARAM_VALUE	0	dev->edev.reg_bar	4096-ptr_max
PARAM_VALUE	0	dev->eqs	4096-ptr_max
PARAM_VALUE	0	dev->num_irq_vectors	0-s32max
PARAM_VALUE	0	dev->pdev	4096-ptr_max
PARAM_VALUE	0	dev->pdev->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->pdev->dev.devres_head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	dev->pdev->dev.driver	0,4096-ptr_max
PARAM_VALUE	0	dev->pdev->dev.msi.data->__iter_idx	0-s64max
PARAM_VALUE	0	dev->pdev->driver	4096-ptr_max
PARAM_VALUE	0	dev->pdev->error_state	0-2,4-u32max
PARAM_VALUE	0	dev->pdev->is_busmaster	1
PARAM_VALUE	0	dev->pdev->is_msi_managed	1
PARAM_VALUE	0	dev->pdev->is_virtfn	0
PARAM_VALUE	0	dev->pdev->msix_base	4096-ptr_max
PARAM_VALUE	0	dev->pdev->msix_enabled	1
PARAM_VALUE	0	dev->pdev->pcie_cap	0-1
PARAM_VALUE	0	*dev->admin_irq.name	0-255
PARAM_VALUE	0	*dev->edev->aq->comp_ctx_pool	0-31
PARAM_VALUE	0	*dev->edev->aq->sq->db_addr	0-255
PARAM_VALUE	0	*dev->edev->aq.sq->db_addr	0-255
PARAM_VALUE	1	irq	4096-ptr_max
PARAM_VALUE	1	irq->data	4096-ptr_max
PARAM_VALUE	1	irq->handler	4763137935999877120
PARAM_VALUE	1	irq->irqn	1-u32max
BUF_SIZE	0	dev->eqs	0-s32max
BUF_SIZE	0	dev->pdev	(-1),1-s32max
CAPPED_DATA	0	dev->neqs	1
DATA_SOURCE	0	dev	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	dev->pdev->current_state	0-3[c]
HALF_LOCKED2		&pool->lock

drivers/infiniband/hw/efa/efa_main.c efa_set_mgmnt_irq() -> efa_request_irq()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->admin_irq.affinity_hint_mask.bits	4096-ptr_max
PARAM_VALUE	0	dev->admin_irq.data	4096-ptr_max
PARAM_VALUE	0	dev->admin_irq.handler	6826362823624945664
PARAM_VALUE	0	dev->admin_irq.vector	0
PARAM_VALUE	0	dev->admin_msix_vector_idx	0
PARAM_VALUE	0	dev->cqs_xa.xa_flags	0
PARAM_VALUE	0	dev->cqs_xa.xa_head	0
PARAM_VALUE	0	dev->edev.aenq.msix_vector_idx	0
PARAM_VALUE	0	dev->edev.aq.msix_vector_idx	0
PARAM_VALUE	0	dev->edev.dma_addr_bits	32-64
PARAM_VALUE	0	dev->edev.dmadev	4096-ptr_max
PARAM_VALUE	0	dev->edev.dmadev->cma_area->alloc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->edev.dmadev->cma_area->alloc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->edev.dmadev->cma_area->alloc_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->edev.dmadev->dma_mem->spinlock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->edev.dmadev->dma_uses_io_tlb	1
PARAM_VALUE	0	dev->edev.dmadev->iommu->pci_32bit_workaround	0-1
PARAM_VALUE	0	dev->edev.efa_dev	4096-ptr_max
PARAM_VALUE	0	dev->edev.mmio_read.mmio_read_timeout	50000
PARAM_VALUE	0	dev->edev.mmio_read.read_resp	4096-ptr_max
PARAM_VALUE	0	dev->edev.mmio_read.read_resp->reg_off	0
PARAM_VALUE	0	dev->edev.mmio_read.read_resp->reg_val	0
PARAM_VALUE	0	dev->edev.reg_bar	4096-ptr_max
PARAM_VALUE	0	dev->num_irq_vectors	0-s32max
PARAM_VALUE	0	dev->pdev	4096-ptr_max
PARAM_VALUE	0	dev->pdev->dev.bus	0,4096-ptr_max
PARAM_VALUE	0	dev->pdev->dev.class	0,4096-ptr_max
PARAM_VALUE	0	dev->pdev->dev.driver	0,4096-ptr_max
PARAM_VALUE	0	dev->pdev->dev.driver_data	4096-ptr_max
PARAM_VALUE	0	dev->pdev->driver	4096-ptr_max
PARAM_VALUE	0	dev->pdev->error_state	0-2,4-u32max
PARAM_VALUE	0	dev->pdev->is_busmaster	1
PARAM_VALUE	0	dev->pdev->is_virtfn	0
PARAM_VALUE	0	dev->pdev->pcie_cap	0-1
PARAM_VALUE	0	*dev->admin_irq.name	0-255
PARAM_VALUE	1	irq	4096-ptr_max
PARAM_VALUE	1	irq->data	4096-ptr_max
PARAM_VALUE	1	irq->handler	6826362823624945664
PARAM_VALUE	1	irq->vector	0
BUF_SIZE	0	dev->pdev	(-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE	0	dev	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	dev->pdev->current_state	0-3[c]
NO_OVERFLOW_SIMPLE	0	dev->admin_irq.name
HALF_LOCKED2		&pdev->dev.mutex
HALF_LOCKED2		&pool->lock