Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/agere/et131x.c et131x_adapter_memory_alloc() -> et131x_tx_dma_memory_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->bus->self->link_bwctrl->cdev | 0-s64max |
| PARAM_VALUE | 0 | adapter->pdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | adapter->pdev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | adapter->pdev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | adapter->pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | adapter->pdev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | adapter->pdev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | adapter->pdev->driver->sriov_get_vf_total_msix | 0,3629692746472820736,6488395192013627392 |
| PARAM_VALUE | 0 | adapter->pdev->driver->sriov_set_msix_vec_count | 0,1923382970702811136,7848935108349911040 |
| PARAM_VALUE | 0 | adapter->pdev->link_bwctrl->cdev | 0-s64max |
| PARAM_VALUE | 0 | adapter->pdev->p2pdma->p2pmem_published | 0-1 |
| PARAM_VALUE | 0 | adapter->tx_ring.tcb_ring | 0,4096-ptr_max |
| PARAM_VALUE | 0 | *adapter->pdev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 0 | *adapter->rom_addr | 0-255 |
| BUF_SIZE | 0 | adapter->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| DATA_SOURCE | 0 | adapter | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | adapter->pdev->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->class | 0-16777215 |
| HOST_DATA | 0 | adapter->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | adapter->pdev->devcap | 0-u32max |
| HOST_DATA | 0 | adapter->pdev->devfn | 0-503[c] |
| HOST_DATA | 0 | adapter->pdev->device | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | adapter->pdev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->hdr_type | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->irq | 0-255 |
| HOST_DATA | 0 | adapter->pdev->is_cxl | 0-1 |
| HOST_DATA | 0 | adapter->pdev->multifunction | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->physfn->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->physfn->bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->physfn->class | 0-16777215 |
| HOST_DATA | 0 | adapter->pdev->physfn->current_state | 0-3[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->devcap | 0-u32max |
| HOST_DATA | 0 | adapter->pdev->physfn->devfn | 1-503[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->device | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->physfn->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->hdr_type | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->irq | 0-255 |
| HOST_DATA | 0 | adapter->pdev->physfn->is_cxl | 0-1 |
| HOST_DATA | 0 | adapter->pdev->physfn->multifunction | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->physfn->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->pin | 0 |
| HOST_DATA | 0 | adapter->pdev->physfn->pme_support | 0-31[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->revision | 0-255 |
| HOST_DATA | 0 | adapter->pdev->physfn->subsystem_device | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->physfn->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->physfn->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->transparent | 0[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->vendor | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->pin | 0 |
| HOST_DATA | 0 | adapter->pdev->pme_support | 0-31[c] |
| HOST_DATA | 0 | adapter->pdev->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->revision | 0-255 |
| HOST_DATA | 0 | adapter->pdev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | adapter->pdev->transparent | 0[c] |
| HOST_DATA | 0 | adapter->pdev->vendor | 0-u16max |
| HOST_DATA | 0 | *adapter->pdev->dev.driver_data | s64min-s64max |
| HOST_DATA | 0 | *adapter->pdev->physfn->dev.driver_data | s64min-s64max |
drivers/net/ethernet/agere/et131x.c et131x_adapter_memory_free() -> et131x_tx_dma_memory_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | adapter->mii_bus->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | adapter->mii_bus->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | adapter->pdev->bus->self->link_bwctrl->cdev | 0-s64max |
| PARAM_VALUE | 0 | adapter->pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | adapter->pdev->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | adapter->pdev->dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | adapter->pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | adapter->pdev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | adapter->pdev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | adapter->pdev->driver->sriov_get_vf_total_msix | 0,3629692746472820736,6488395192013627392 |
| PARAM_VALUE | 0 | adapter->pdev->driver->sriov_set_msix_vec_count | 0,1923382970702811136,7848935108349911040 |
| PARAM_VALUE | 0 | adapter->pdev->link_bwctrl->cdev | (-4095)-s64max |
| PARAM_VALUE | 0 | adapter->pdev->p2pdma->p2pmem_published | 0-1 |
| PARAM_VALUE | 0 | *adapter->pdev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 0 | *adapter->rom_addr | 0-255 |
| BUF_SIZE | 0 | adapter->mii_bus | (-1),3752,3784,3792,3800,3808,3816,3824,3912 |
| BUF_SIZE | 0 | adapter->mii_bus->name | (-1),15 |
| BUF_SIZE | 0 | adapter->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| DATA_SOURCE | 0 | adapter | $0 |
| STR_LEN | 0 | adapter->mii_bus->id | (-1),60 |
| STR_LEN | 0 | adapter->mii_bus->name | (-1),14 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | adapter->pdev->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->class | 0-16777215 |
| HOST_DATA | 0 | adapter->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | adapter->pdev->devcap | 0-u32max |
| HOST_DATA | 0 | adapter->pdev->devfn | 0-503[c] |
| HOST_DATA | 0 | adapter->pdev->device | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | adapter->pdev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->hdr_type | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->irq | 0-255 |
| HOST_DATA | 0 | adapter->pdev->is_cxl | 0-1 |
| HOST_DATA | 0 | adapter->pdev->multifunction | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->physfn->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->physfn->bus->parent->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->physfn->class | 0-16777215 |
| HOST_DATA | 0 | adapter->pdev->physfn->current_state | 0-3[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->devcap | 0-u32max |
| HOST_DATA | 0 | adapter->pdev->physfn->devfn | 1-503[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->device | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->physfn->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->hdr_type | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->irq | 0-255 |
| HOST_DATA | 0 | adapter->pdev->physfn->is_cxl | 0-1 |
| HOST_DATA | 0 | adapter->pdev->physfn->multifunction | 0-1[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->physfn->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->pin | 0 |
| HOST_DATA | 0 | adapter->pdev->physfn->pme_support | 0-31[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->revision | 0-255 |
| HOST_DATA | 0 | adapter->pdev->physfn->subsystem_device | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->physfn->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->physfn->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->transparent | 0[c] |
| HOST_DATA | 0 | adapter->pdev->physfn->vendor | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->pin | 0 |
| HOST_DATA | 0 | adapter->pdev->pme_support | 0-31[c] |
| HOST_DATA | 0 | adapter->pdev->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | adapter->pdev->revision | 0-255 |
| HOST_DATA | 0 | adapter->pdev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | adapter->pdev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | adapter->pdev->transparent | 0[c] |
| HOST_DATA | 0 | adapter->pdev->vendor | 0-u16max |
| HOST_DATA | 0 | *adapter->pdev->dev.driver_data | s64min-s64max |
| HOST_DATA | 0 | *adapter->pdev->physfn->dev.driver_data | s64min-s64max |