Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/intel/e100.c e100_loopback_test() -> e100_hw_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cb_to_clean | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cb_to_send | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cb_to_use | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cbs | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cbs_pool | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | nic->cbs_pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->cbs_pool->size | 0-s32max |
| PARAM_VALUE | 0 | nic->cmd_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->cuc_cmd | 16 |
| PARAM_VALUE | 0 | nic->flags | 1-u32max |
| PARAM_VALUE | 0 | nic->loopback | 1,3 |
| PARAM_VALUE | 0 | nic->mem | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->mem->selftest.result | u32max |
| PARAM_VALUE | 0 | nic->mem->selftest.signature | 0 |
| PARAM_VALUE | 0 | nic->mii.mdio_read | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->pdev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->pdev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->pdev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->pdev->dev.dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | nic->ru_running | 0 |
| PARAM_VALUE | 0 | nic->rx_to_clean | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->rx_to_clean->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->rx_to_use | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->rxs | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->rxs->dma_addr | 0-18446744073709551614 |
| PARAM_VALUE | 0 | nic->rxs->next | 16,24,4096-ptr_max |
| PARAM_VALUE | 0 | nic->rxs->prev->skb->data->link | 0-4294967295 |
| PARAM_VALUE | 0 | nic->rxs->skb | 4096-ptr_max |
| PARAM_VALUE | 0 | *nic->eeprom | 0-3 |
| PARAM_VALUE | 0 | *nic->netdev->name | 0-255 |
| CAPPED_DATA | 0 | nic->cbs_pool->size | 1 |
| CAPPED_DATA | 0 | nic->params.cbs.count | 1 |
| CAPPED_DATA | 0 | nic->params.rfds.count | 1 |
| DATA_SOURCE | 0 | nic | $0 |
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/intel/e100.c e100_up() -> e100_hw_init()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | nic | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cb_to_clean | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cb_to_send | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cb_to_use | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cbs | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cbs_pool | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->cma_area->alloc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->cma_area->alloc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->dma_mem->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | nic->cbs_pool->dev->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | nic->cbs_pool->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | nic->cbs_pool->size | 0-s32max |
| PARAM_VALUE | 0 | nic->cuc_cmd | 16 |
| PARAM_VALUE | 0 | nic->mem->selftest.result | 0,u32max |
| PARAM_VALUE | 0 | nic->mem->selftest.signature | 0 |
| PARAM_VALUE | 0 | nic->pdev->dev.dma_io_tlb_pools.next | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->pdev->dev.dma_io_tlb_pools.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->pdev->dev.dma_io_tlb_pools.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->pdev->dev.dma_uses_io_tlb | 1 |
| PARAM_VALUE | 0 | nic->ru_running | 0 |
| PARAM_VALUE | 0 | nic->rx_to_clean | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->rx_to_clean->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->rx_to_use | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->rxs | 4096-ptr_max |
| PARAM_VALUE | 0 | nic->rxs->dma_addr | 0-18446744073709551614 |
| PARAM_VALUE | 0 | nic->rxs->next | 16,24,4096-ptr_max |
| PARAM_VALUE | 0 | nic->rxs->prev->skb->data->link | 0-4294967295 |
| PARAM_VALUE | 0 | nic->rxs->skb | 4096-ptr_max |
| PARAM_VALUE | 0 | *nic->eeprom | 0-u16max |
| CAPPED_DATA | 0 | nic->cbs_pool->size | 1 |
| CAPPED_DATA | 0 | nic->params.cbs.count | 1 |
| CAPPED_DATA | 0 | nic->params.rfds.count | 1 |
| DATA_SOURCE | 0 | nic | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &rtnl_mutex |