Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/fungible/funcore/fun_dev.c fun_disable_admin_queue() -> fun_free_queue()

Type Parameter Key Value
PARAM_VALUE 0 funq 4096-ptr_max
PARAM_VALUE 0 funq->fdev->admin_sbq.wake_index.counter 0-7
PARAM_VALUE 0 funq->fdev->admin_sbq.wakeup_cnt.counter 0-s32max
PARAM_VALUE 0 funq->fdev->adminq_cb 4096-ptr_max
PARAM_VALUE 0 funq->fdev->service_task.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 funq->irq_data 0
PARAM_VALUE 0 funq->irq_handler 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/fungible/funcore/fun_dev.c fun_enable_admin_queue() -> fun_free_queue()

Type Parameter Key Value
PARAM_VALUE 0 funq 4096-ptr_max
PARAM_VALUE 0 funq->cb_data 0
PARAM_VALUE 0 funq->cq_depth 64
PARAM_VALUE 0 funq->cq_flags 0
PARAM_VALUE 0 funq->cq_intcoal_nentries 0
PARAM_VALUE 0 funq->cq_intcoal_usec 0
PARAM_VALUE 0 funq->cq_phase 1
PARAM_VALUE 0 funq->cq_vector (-1)-0
PARAM_VALUE 0 funq->cqes 1-ptr_max
PARAM_VALUE 0 funq->cqid 0
PARAM_VALUE 0 funq->fdev 4096-ptr_max
PARAM_VALUE 0 funq->fdev->admin_q->sq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 funq->fdev->admin_sbq.sb->alloc_hint 0-4294967294
PARAM_VALUE 0 funq->fdev->admin_sbq.wakeup_cnt.counter 0-s32max
PARAM_VALUE 0 funq->fdev->dev 4096-ptr_max
PARAM_VALUE 0 funq->fdev->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 funq->fdev->dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 funq->fdev->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 funq->fdev->fw_handle u32max
PARAM_VALUE 0 funq->fdev->irq_map 4096-ptr_max
PARAM_VALUE 0 funq->fdev->q_depth 1-65536
PARAM_VALUE 0 funq->fdev->serv_cb 507762089812451328
PARAM_VALUE 0 funq->fdev->suppress_cmds 1
PARAM_VALUE 0 funq->irq_data 0,4096-ptr_max
PARAM_VALUE 0 funq->irq_handler 0
PARAM_VALUE 0 funq->qid 0
PARAM_VALUE 0 funq->sq_cmds 1-ptr_max
PARAM_VALUE 0 funq->sq_depth 32
PARAM_VALUE 0 funq->sq_flags 0
PARAM_VALUE 0 funq->sq_head 4096-ptr_max
PARAM_VALUE 0 funq->sq_intcoal_nentries 0
PARAM_VALUE 0 funq->sq_intcoal_usec 0
PARAM_VALUE 0 funq->sqid 0-1
PARAM_VALUE 0 *funq->irqname 0-255
BUF_SIZE 0 funq 288
BUF_SIZE 0 funq->fdev 336
CAPPED_DATA 0 funq->fdev->dev->cma_area->nranges 1
DATA_SOURCE 0 funq r fun_alloc_queue
STR_LEN 0 funq->fdev 6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 funq->fdev->admin_sbq.completion_cnt.counter s32min-s32max
HOST_DATA 0 funq->fdev->admin_sbq.min_shallow_depth 0-u32max
HOST_DATA 0 funq->fdev->admin_sbq.sb.depth 0-u32max
HOST_DATA 0 funq->fdev->admin_sbq.sb.map_nr 0-u32max
HOST_DATA 0 funq->fdev->admin_sbq.sb.round_robin 0-1
HOST_DATA 0 funq->fdev->admin_sbq.sb.shift 0-u32max
HOST_DATA 0 funq->fdev->admin_sbq.wake_batch 0-u32max
HOST_DATA 0 funq->fdev->admin_sbq.wake_index.counter s32min-s32max
HOST_DATA 0 funq->fdev->admin_sbq.wakeup_cnt.counter 0-s32max
HOST_DATA 0 funq->fdev->admin_sbq.ws_active.counter s32min-s32max
HOST_DATA 0 funq->fdev->cap_reg 0-u64max
HOST_DATA 0 funq->fdev->cc_reg 0-u32max
HOST_DATA 0 funq->fdev->kern_end_qid 0-u32max
HOST_DATA 0 funq->fdev->max_qid 0-u32max
HOST_DATA 0 funq->fdev->q_depth 1-65536[c]
HOST_DATA 0 funq->fdev->service_task.data.counter s64min-s64max
HOST_DATA 0 funq->fdev->suppress_cmds 1
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/fungible/funcore/fun_queue.c fun_alloc_queue() -> fun_free_queue()

Type Parameter Key Value
PARAM_VALUE 0 funq 4096-ptr_max
PARAM_VALUE 0 funq->cq_depth 64
PARAM_VALUE 0 funq->cq_flags 0
PARAM_VALUE 0 funq->cq_intcoal_nentries 0
PARAM_VALUE 0 funq->cq_intcoal_usec 0
PARAM_VALUE 0 funq->cqes 0-ptr_max
PARAM_VALUE 0 funq->cqid 0
PARAM_VALUE 0 funq->fdev 4096-ptr_max
PARAM_VALUE 0 funq->fdev->admin_q 0
PARAM_VALUE 0 funq->fdev->bar 4096-ptr_max
PARAM_VALUE 0 funq->fdev->dev 4096-ptr_max
PARAM_VALUE 0 funq->fdev->dev->cma_area->alloc_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 funq->fdev->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 funq->fdev->dev->cma_area->alloc_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 funq->fdev->dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 funq->fdev->dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 funq->fdev->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 funq->fdev->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 funq->fdev->fw_handle u32max
PARAM_VALUE 0 funq->fdev->irq_map 4096-ptr_max
PARAM_VALUE 0 funq->fdev->q_depth 1-65536
PARAM_VALUE 0 funq->fdev->serv_cb 507762089812451328
PARAM_VALUE 0 funq->fdev->service_flags 0
PARAM_VALUE 0 funq->qid 0
PARAM_VALUE 0 funq->sq_depth 32
PARAM_VALUE 0 funq->sq_flags 0
PARAM_VALUE 0 funq->sq_intcoal_nentries 0
PARAM_VALUE 0 funq->sq_intcoal_usec 0
PARAM_VALUE 0 funq->sqid 0-1
BUF_SIZE 0 funq 288
CAPPED_DATA 0 funq->fdev->dev 1
DATA_SOURCE 0 funq r _kzalloc_noprof
FUZZY_MAX 0 funq->sqid 1
STR_LEN 0 funq->fdev 6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 funq->fdev->admin_sbq.completion_cnt.counter s32min-s32max
HOST_DATA 0 funq->fdev->admin_sbq.min_shallow_depth 0-u32max
HOST_DATA 0 funq->fdev->admin_sbq.sb.depth 0-u32max
HOST_DATA 0 funq->fdev->admin_sbq.sb.map_nr 0-u32max
HOST_DATA 0 funq->fdev->admin_sbq.sb.round_robin 0-1
HOST_DATA 0 funq->fdev->admin_sbq.sb.shift 0-u32max
HOST_DATA 0 funq->fdev->admin_sbq.wake_batch 0-u32max
HOST_DATA 0 funq->fdev->admin_sbq.wake_index.counter s32min-s32max
HOST_DATA 0 funq->fdev->admin_sbq.wakeup_cnt.counter s32min-s32max
HOST_DATA 0 funq->fdev->admin_sbq.ws_active.counter s32min-s32max
HOST_DATA 0 funq->fdev->cap_reg 0-u64max
HOST_DATA 0 funq->fdev->cc_reg 0-u32max
HOST_DATA 0 funq->fdev->kern_end_qid 0-u32max
HOST_DATA 0 funq->fdev->max_qid 0-u32max
HOST_DATA 0 funq->fdev->q_depth 1-65536[c]
HOST_DATA 0 funq->fdev->service_task.data.counter s64min-s64max
HOST_DATA 0 funq->fdev->suppress_cmds 0-1
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock