Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/fungible/funcore/fun_dev.c fun_disable_admin_queue() -> fun_disable_ctrl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fdev | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q | 1-u64max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->fw_handle | u32max |
| 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->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 |
| BUF_SIZE | 0 | fdev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | fdev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | fdev->dev | (-1),1616 |
| DATA_SOURCE | 0 | fdev | $0 |
| STR_LEN | 0 | fdev | (-1),6 |
| STR_LEN | 0 | fdev | (-1),6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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->service_task.data.counter | s64min-s64max |
| HOST_DATA | 0 | fdev->admin_q->fdev->suppress_cmds | 1 |
| HOST_DATA | 0 | fdev->admin_sbq.completion_cnt.counter | s32min-s32max |
| HOST_DATA | 0 | fdev->admin_sbq.min_shallow_depth | 0-u32max |
| HOST_DATA | 0 | fdev->admin_sbq.sb->alloc_hint | 0-65[c] |
| HOST_DATA | 0 | fdev->admin_sbq.sb.depth | 0-u32max |
| HOST_DATA | 0 | fdev->admin_sbq.sb.map_nr | 0-u32max |
| HOST_DATA | 0 | fdev->admin_sbq.sb.round_robin | 0-1 |
| HOST_DATA | 0 | fdev->admin_sbq.sb.shift | 0-u32max |
| HOST_DATA | 0 | fdev->admin_sbq.wake_batch | 0-u32max |
| HOST_DATA | 0 | fdev->admin_sbq.wake_index.counter | s32min-s32max |
| HOST_DATA | 0 | fdev->admin_sbq.wakeup_cnt.counter | s32min-s32max |
| HOST_DATA | 0 | fdev->admin_sbq.ws_active.counter | s32min-s32max |
| HOST_DATA | 0 | fdev->cap_reg | 0-u64max |
| HOST_DATA | 0 | fdev->cc_reg | 0-u32max |
| HOST_DATA | 0 | fdev->db_stride | 0-u32max |
| HOST_DATA | 0 | fdev->irqs_avail | 0-u32max |
| HOST_DATA | 0 | fdev->kern_end_qid | 0-u32max |
| HOST_DATA | 0 | fdev->max_qid | 0-u32max |
| HOST_DATA | 0 | fdev->num_irqs | 0-u32max |
| HOST_DATA | 0 | fdev->q_depth | 1-65536 |
| HOST_DATA | 0 | fdev->service_flags | 0 |
| HOST_DATA | 0 | fdev->service_task.data.counter | s64min-s64max |
| HOST_DATA | 0 | fdev->suppress_cmds | 1 |
| NO_OVERFLOW_SIMPLE | 0 | fdev->admin_sbq.sb.depth | |
| UNITS | 0 | fdev | unit_byte |
drivers/net/ethernet/fungible/funcore/fun_dev.c fun_enable_admin_queue() -> fun_disable_ctrl()
| 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.wakeup_cnt.counter | 0-s32max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->dev->dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->admin_q->fdev->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| 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->fdev->suppress_cmds | 1 |
| PARAM_VALUE | 0 | fdev->admin_q->qid | 0 |
| 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->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | fdev->dev->dma_mask | 4096-ptr_max |
| 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 |
| BUF_SIZE | 0 | fdev | 336 |
| BUF_SIZE | 0 | fdev->admin_q | 288 |
| BUF_SIZE | 0 | fdev->admin_q->fdev | 336 |
| BUF_SIZE | 0 | fdev->dev | 1616 |
| CAPPED_DATA | 0 | fdev->admin_q->fdev->dev->cma_area->nranges | 1 |
| DATA_SOURCE | 0 | fdev | $0 |
| STR_LEN | 0 | fdev | 6 |
| STR_LEN | 0 | fdev | 6 |
| STR_LEN | 0 | fdev->admin_q->fdev | 6 |
| BIT_INFO | 0 | fdev->num_irqs | 0x0,0x7fffffff |
| POWER_OF_TWO | 0 | *fdev | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 | s32min-s32max |
| 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->service_task.data.counter | s64min-s64max |
| HOST_DATA | 0 | fdev->admin_q->fdev->suppress_cmds | 1 |
| HOST_DATA | 0 | fdev->admin_sbq.sb.round_robin | 0-1 |
| HOST_DATA | 0 | fdev->cap_reg | 0-u64max |
| 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 |
drivers/net/ethernet/fungible/funcore/fun_dev.c sanitize_dev() -> fun_disable_ctrl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fdev | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->cc_reg | 1-u32max |
| PARAM_VALUE | 0 | fdev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | fdev->dev->dma_mask | 4096-ptr_max |
| 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->cc_reg | 0x1,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | fdev->admin_sbq.completion_cnt.counter | s32min-s32max |
| HOST_DATA | 0 | fdev->admin_sbq.min_shallow_depth | 0-u32max |
| HOST_DATA | 0 | fdev->admin_sbq.sb.depth | 0-u32max |
| HOST_DATA | 0 | fdev->admin_sbq.sb.map_nr | 0-u32max |
| HOST_DATA | 0 | fdev->admin_sbq.sb.round_robin | 0-1 |
| HOST_DATA | 0 | fdev->admin_sbq.sb.shift | 0-u32max |
| HOST_DATA | 0 | fdev->admin_sbq.wake_batch | 0-u32max |
| HOST_DATA | 0 | fdev->admin_sbq.wake_index.counter | s32min-s32max |
| HOST_DATA | 0 | fdev->admin_sbq.wakeup_cnt.counter | s32min-s32max |
| HOST_DATA | 0 | fdev->admin_sbq.ws_active.counter | s32min-s32max |
| HOST_DATA | 0 | fdev->cap_reg | 0-u64max |
| HOST_DATA | 0 | fdev->cc_reg | 1-u32max |
| HOST_DATA | 0 | fdev->db_stride | 0-u32max |
| HOST_DATA | 0 | fdev->fw_handle | 0-u32max |
| HOST_DATA | 0 | fdev->irqs_avail | 0-u32max |
| HOST_DATA | 0 | fdev->kern_end_qid | 0-u32max |
| HOST_DATA | 0 | fdev->max_qid | 0-u32max |
| HOST_DATA | 0 | fdev->num_irqs | 0-u32max |
| HOST_DATA | 0 | fdev->q_depth | 0-u32max |
| HOST_DATA | 0 | fdev->service_flags | 0-u64max |
| HOST_DATA | 0 | fdev->service_task.data.counter | s64min-s64max |
| HOST_DATA | 0 | fdev->suppress_cmds | 0-1 |
| HOST_DATA | 0 | *fdev | 0-u64max |
| HALF_LOCKED2 | &pdev->dev.mutex | ||
| HALF_LOCKED2 | &pool->lock |