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/funeth/funeth_main.c fun_max_qs() -> fun_get_res_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fdev | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->adminq_cb | 1105875079318130688 |
| PARAM_VALUE | 0 | fdev->fw_handle | u32max |
| PARAM_VALUE | 0 | fdev->q_depth | 1-65536 |
| PARAM_VALUE | 0 | fdev->serv_cb | 507762089812451328 |
| PARAM_VALUE | 0 | fdev->suppress_cmds | 1 |
| PARAM_VALUE | 1 | res | 20 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
drivers/net/ethernet/fungible/funeth/funeth_main.c fun_service_cb() -> fun_get_res_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fdev | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->serv_cb | 507762089812451328 |
| PARAM_VALUE | 1 | res | 19 |
| DATA_SOURCE | 0 | fdev | $0 |
| HALF_LOCKED2 | &pool->lock |
drivers/net/ethernet/fungible/funeth/funeth_main.c funeth_probe() -> fun_get_res_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fdev | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->bar | 0 |
| PARAM_VALUE | 0 | fdev->dev | 4096-ptr_max |
| PARAM_VALUE | 1 | res | 19 |
| BUF_SIZE | 0 | fdev | 336 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/net/ethernet/fungible/funcore/fun_dev.c fun_get_dev_limits() -> fun_get_res_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fdev | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->cb_data | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->cq_depth | 64 |
| PARAM_VALUE | 0 | fdev->admin_q->cq_flags | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->cq_intcoal_nentries | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->cq_intcoal_usec | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->cq_phase | 1 |
| PARAM_VALUE | 0 | fdev->admin_q->cq_vector | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->cqes | 1-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->cqid | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->fdev | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->admin_sbq.sb->alloc_hint | 0-4294967294 |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->admin_sbq.wake_index.counter | 0-7 |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->admin_sbq.wakeup_cnt.counter | 0-s32max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->bar | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->fw_handle | u32max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->irq_map | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->q_depth | 1-65536 |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->serv_cb | 507762089812451328 |
| PARAM_VALUE | 0 | fdev->admin_q->qid | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->rq_db | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->sq_cmds | 1-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->sq_depth | 32 |
| PARAM_VALUE | 0 | fdev->admin_q->sq_flags | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->sq_head | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->sq_intcoal_nentries | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->sq_intcoal_usec | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->sqid | 0-1 |
| PARAM_VALUE | 0 | fdev->admin_sbq.completion_cnt.counter | 0 |
| PARAM_VALUE | 0 | fdev->admin_sbq.min_shallow_depth | u32max |
| PARAM_VALUE | 0 | fdev->admin_sbq.sb.alloc_hint | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_sbq.sb.depth | 0 |
| PARAM_VALUE | 0 | fdev->admin_sbq.sb.map | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_sbq.wake_batch | 1-8 |
| PARAM_VALUE | 0 | fdev->admin_sbq.wake_index.counter | 0 |
| PARAM_VALUE | 0 | fdev->admin_sbq.wakeup_cnt.counter | 0 |
| PARAM_VALUE | 0 | fdev->admin_sbq.ws | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_sbq.ws_active.counter | 0 |
| PARAM_VALUE | 0 | fdev->adminq_cb | 1105875079318130688 |
| PARAM_VALUE | 0 | fdev->cmd_ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->dbs | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->dev->dma_mask | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | fdev->fw_handle | u32max |
| PARAM_VALUE | 0 | fdev->irq_map | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->q_depth | 1-65536 |
| PARAM_VALUE | 0 | fdev->serv_cb | 507762089812451328 |
| PARAM_VALUE | 0 | fdev->service_flags | 0 |
| PARAM_VALUE | 0 | *fdev->admin_q->irqname | 0-255 |
| PARAM_VALUE | 1 | res | 17 |
| BUF_SIZE | 0 | fdev | 336 |
| BUF_SIZE | 0 | fdev->dev | 1616 |
| DATA_SOURCE | 0 | fdev | $0 |
| STR_LEN | 0 | fdev | 6 |
| STR_LEN | 0 | fdev | 6 |
| BIT_INFO | 0 | fdev->num_irqs | 0x0,0x7fffffff |
| POWER_OF_TWO | 0 | *fdev | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.completion_cnt.counter | s32min-s32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.min_shallow_depth | 0-u32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.sb.depth | 0-u32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.sb.map_nr | 0-u32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.sb.round_robin | 0-1 |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.sb.shift | 0-u32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.wake_batch | 0-u32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.wake_index.counter | 0-7 |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.wakeup_cnt.counter | 0-s32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.ws_active.counter | s32min-s32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->cap_reg | 0-u64max |
| HOST_DATA | 0 | fdev->admin_q->fdev->cc_reg | 0-u32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->kern_end_qid | 0-u32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->max_qid | 0-u32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->q_depth | 1-65536[c] |
| HOST_DATA | 0 | fdev->admin_q->fdev->suppress_cmds | 1 |
| HOST_DATA | 0 | fdev->admin_sbq.completion_cnt.counter | 0 |
| HOST_DATA | 0 | fdev->admin_sbq.min_shallow_depth | u32max |
| HOST_DATA | 0 | fdev->admin_sbq.sb.depth | 0 |
| HOST_DATA | 0 | fdev->admin_sbq.sb.round_robin | 0-1 |
| HOST_DATA | 0 | fdev->admin_sbq.wake_batch | 1-8 |
| HOST_DATA | 0 | fdev->admin_sbq.wake_index.counter | 0 |
| HOST_DATA | 0 | fdev->admin_sbq.wakeup_cnt.counter | 0 |
| HOST_DATA | 0 | fdev->admin_sbq.ws_active.counter | 0 |
| HOST_DATA | 0 | fdev->cap_reg | 0-u64max |
| HOST_DATA | 0 | fdev->cc_reg | 0-u32max |
| HOST_DATA | 0 | fdev->kern_end_qid | 0-u32max |
| HOST_DATA | 0 | fdev->max_qid | 0-u32max |
| HOST_DATA | 0 | fdev->q_depth | 1-65536[c] |
| HOST_DATA | 0 | fdev->suppress_cmds | 0-1 |
| NO_OVERFLOW_SIMPLE | 0 | fdev->admin_sbq.sb.depth | |
| HALF_LOCKED2 | &pdev->dev.mutex | ||
| HALF_LOCKED2 | &pool->lock |
drivers/net/ethernet/fungible/funcore/fun_dev.c fun_get_dev_limits() -> fun_get_res_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fdev | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->cb_data | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->cq_depth | 64 |
| PARAM_VALUE | 0 | fdev->admin_q->cq_flags | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->cq_intcoal_nentries | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->cq_intcoal_usec | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->cq_phase | 1 |
| PARAM_VALUE | 0 | fdev->admin_q->cq_vector | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->cqes | 1-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->cqid | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->fdev | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->admin_sbq.sb->alloc_hint | 0-4294967294 |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->admin_sbq.wake_index.counter | 0-7 |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->admin_sbq.wakeup_cnt.counter | 0-s32max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->bar | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->fw_handle | u32max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->irq_map | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->q_depth | 1-65536 |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->serv_cb | 507762089812451328 |
| PARAM_VALUE | 0 | fdev->admin_q->qid | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->rq_db | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->sq_cmds | 1-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->sq_depth | 32 |
| PARAM_VALUE | 0 | fdev->admin_q->sq_flags | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->sq_head | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->sq_intcoal_nentries | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->sq_intcoal_usec | 0 |
| PARAM_VALUE | 0 | fdev->admin_q->sqid | 0-1 |
| PARAM_VALUE | 0 | fdev->admin_sbq.min_shallow_depth | u32max |
| PARAM_VALUE | 0 | fdev->admin_sbq.sb.alloc_hint | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_sbq.sb.depth | 0 |
| PARAM_VALUE | 0 | fdev->admin_sbq.sb.map | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_sbq.wake_batch | 1-8 |
| PARAM_VALUE | 0 | fdev->admin_sbq.ws | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->adminq_cb | 1105875079318130688 |
| PARAM_VALUE | 0 | fdev->cmd_ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->dbs | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->dev->dma_mask | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | fdev->fw_handle | u32max |
| PARAM_VALUE | 0 | fdev->irq_map | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->q_depth | 1-65536 |
| PARAM_VALUE | 0 | fdev->serv_cb | 507762089812451328 |
| PARAM_VALUE | 0 | fdev->service_flags | 0 |
| PARAM_VALUE | 0 | fdev->suppress_cmds | 1 |
| PARAM_VALUE | 0 | *fdev->admin_q->irqname | 0-255 |
| PARAM_VALUE | 1 | res | 18 |
| BUF_SIZE | 0 | fdev | 336 |
| BUF_SIZE | 0 | fdev->dev | 1616 |
| DATA_SOURCE | 0 | fdev | $0 |
| STR_LEN | 0 | fdev | 6 |
| STR_LEN | 0 | fdev | 6 |
| BIT_INFO | 0 | fdev->num_irqs | 0x0,0x7fffffff |
| POWER_OF_TWO | 0 | *fdev | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.completion_cnt.counter | s32min-s32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.min_shallow_depth | 0-u32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.sb.depth | 0-u32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.sb.map_nr | 0-u32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.sb.round_robin | 0-1 |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.sb.shift | 0-u32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.wake_batch | 0-u32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.wake_index.counter | 0-7 |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.wakeup_cnt.counter | 0-s32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->admin_sbq.ws_active.counter | s32min-s32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->cap_reg | 0-u64max |
| HOST_DATA | 0 | fdev->admin_q->fdev->cc_reg | 0-u32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->kern_end_qid | 0-u32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->max_qid | 0-u32max |
| HOST_DATA | 0 | fdev->admin_q->fdev->q_depth | 1-65536[c] |
| HOST_DATA | 0 | fdev->admin_q->fdev->suppress_cmds | 1 |
| HOST_DATA | 0 | fdev->admin_sbq.min_shallow_depth | u32max |
| HOST_DATA | 0 | fdev->admin_sbq.sb.depth | 0 |
| HOST_DATA | 0 | fdev->admin_sbq.sb.round_robin | 0-1 |
| HOST_DATA | 0 | fdev->admin_sbq.wake_batch | 1-8 |
| HOST_DATA | 0 | fdev->cap_reg | 0-u64max |
| HOST_DATA | 0 | fdev->cc_reg | 0-u32max |
| HOST_DATA | 0 | fdev->kern_end_qid | 0-u32max |
| HOST_DATA | 0 | fdev->max_qid | 0-u32max |
| HOST_DATA | 0 | fdev->q_depth | 1-65536[c] |
| HOST_DATA | 0 | fdev->suppress_cmds | 1 |
| NO_OVERFLOW_SIMPLE | 0 | fdev->admin_sbq.sb.depth | |
| HALF_LOCKED2 | &pdev->dev.mutex | ||
| HALF_LOCKED2 | &pool->lock |