Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/wangxun/libwx/wx_vf_common.c wxvf_open() -> wx_request_msix_irqs_vf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wx | 4096-ptr_max |
| PARAM_VALUE | 0 | wx->isb_mem | 1-u64max |
| PARAM_VALUE | 0 | wx->mbx.mbx_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wx->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | wx->netdev->priv->mbx.mailbox | 0-4294967295 |
| PARAM_VALUE | 0 | wx->netdev->priv->mbx.mbx_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wx->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | wx->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | wx->pdev->dev.cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | wx->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | wx->pdev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | wx->pdev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | wx->pdev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | wx->pdev->dev.dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wx->pdev->dev.dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | wx->pdev->dev.iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | wx->pdev->pcie_cap | 0-1 |
| PARAM_VALUE | 0 | wx->rss_key | 4096-ptr_max |
| PARAM_VALUE | 0 | *wx->rss_indir_tbl | 0-255 |
| PARAM_VALUE | 0 | *wx->rss_key | 0-255 |
| CAPPED_DATA | 0 | wx->mbx.size | 1 |
| CAPPED_DATA | 0 | wx->num_rx_queues | 1 |
| CAPPED_DATA | 0 | wx->num_tx_queues | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | wx->mbx.mailbox | 0-u32max[c] |
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/wangxun/libwx/wx_vf_common.c wxvf_reinit_locked() -> wx_request_msix_irqs_vf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wx | 4096-ptr_max |
| PARAM_VALUE | 0 | wx->flags | 4096-ptr_max |
| PARAM_VALUE | 0 | wx->mbx.mbx_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wx->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | wx->netdev->priv->mbx.mailbox | 0-4294967295 |
| PARAM_VALUE | 0 | wx->netdev->priv->mbx.mbx_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wx->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | wx->pdev->pcie_cap | 0-1 |
| PARAM_VALUE | 0 | wx->reset_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wx->reset_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wx->reset_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | wx->reset_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | wx->reset_lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wx->reset_lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | wx->reset_lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | wx->rss_key | 4096-ptr_max |
| PARAM_VALUE | 0 | wx->state | 4096-ptr_max |
| PARAM_VALUE | 0 | *wx->netdev->name | 0-255 |
| PARAM_VALUE | 0 | *wx->rss_indir_tbl | 0-255 |
| PARAM_VALUE | 0 | *wx->rss_key | 0-255 |
| CAPPED_DATA | 0 | wx | 1 |
| CAPPED_DATA | 0 | wx->mbx.size | 1 |
| CAPPED_DATA | 0 | wx->num_rx_queues | 1 |
| CAPPED_DATA | 0 | wx->num_tx_queues | 1 |
| CAPPED_DATA | 0 | &wx->reset_lock | 1 |
| DATA_SOURCE | 0 | wx | $0 |
| NOCHECK_CALL | |||
| HOST_DATA | 0 | wx->mbx.mailbox | 0-u32max[c] |
| UNITS | 0 | wx | unit_byte |
| LOCK2 | global &rtnl_mutex | ||
| LOCK2 | 0 | &wx->reset_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct wx)->reset_lock |