Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/wangxun/libwx/wx_lib.c wx_init_interrupt_scheme() -> wx_set_num_queues()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wx | 4096-ptr_max |
| BUF_SIZE | 0 | wx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | wx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | wx->driver_name | (-1),5-8 |
| BUF_SIZE | 0 | wx->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| DATA_SOURCE | 0 | wx | $0 |
| STR_LEN | 0 | wx->driver_name | (-1),6-7 |
| STR_LEN | 0 | wx->eeprom_id | (-1),31 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | wx->bus.device | 0-30[c] |
| HOST_DATA | 0 | wx->bus.func | 0-255[c] |
| HOST_DATA | 0 | wx->device_id | 0-u16max |
| HOST_DATA | 0 | wx->eeprom.sw_region_offset | 0-s16max |
| HOST_DATA | 0 | wx->hw_tc.cycle_last | 0-u64max |
| HOST_DATA | 0 | wx->mac.max_msix_vectors | 1[c] |
| HOST_DATA | 0 | wx->mbx.mailbox | 0-u32max[c] |
| HOST_DATA | 0 | wx->oem_ssid | 0-u16max |
| HOST_DATA | 0 | wx->pdev->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | wx->pdev->class | 0-16777215 |
| HOST_DATA | 0 | wx->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | wx->pdev->devcap | 0-u32max |
| HOST_DATA | 0 | wx->pdev->devfn | 0-503[c] |
| HOST_DATA | 0 | wx->pdev->device | 0-u16max |
| HOST_DATA | 0 | wx->pdev->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | wx->pdev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | wx->pdev->hdr_type | 0-255[c] |
| HOST_DATA | 0 | wx->pdev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | wx->pdev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | wx->pdev->irq | 0-255 |
| HOST_DATA | 0 | wx->pdev->is_cxl | 0-1 |
| HOST_DATA | 0 | wx->pdev->multifunction | 0-1[c] |
| HOST_DATA | 0 | wx->pdev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | wx->pdev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | wx->pdev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | wx->pdev->pin | 0 |
| HOST_DATA | 0 | wx->pdev->pme_support | 0-31[c] |
| HOST_DATA | 0 | wx->pdev->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | wx->pdev->revision | 0-255 |
| HOST_DATA | 0 | wx->pdev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | wx->pdev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | wx->pdev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | wx->pdev->transparent | 0[c] |
| HOST_DATA | 0 | wx->pdev->vendor | 0-u16max |
| HOST_DATA | 0 | wx->pps_edge_end | 0-u32max |
| HOST_DATA | 0 | wx->pps_edge_start | 0-u32max |
| HOST_DATA | 0 | wx->revision_id | 0-255 |
| HOST_DATA | 0 | wx->subsystem_device_id | 0-u16max |
| HOST_DATA | 0 | wx->subsystem_vendor_id | 0-u16max |
| HOST_DATA | 0 | wx->vendor_id | 0-u16max |
| NO_OVERFLOW_SIMPLE | 0 | wx->mac.num_rar_entries | |
| UNITS | 0 | wx | unit_byte |
| HALF_LOCKED2 | global &rtnl_mutex |
drivers/net/ethernet/wangxun/libwx/wx_lib.c wx_set_interrupt_capability() -> wx_set_num_queues()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wx | 4096-ptr_max |
| PARAM_VALUE | 0 | wx->flags | 4096-ptr_max |
| PARAM_VALUE | 0 | wx->queues_per_pool | 0-2,4 |
| PARAM_VALUE | 0 | wx->ring_feature | 4096-ptr_max |
| BUF_SIZE | 0 | wx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | wx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | wx->driver_name | (-1),5-8 |
| BUF_SIZE | 0 | wx->pdev | (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064 |
| DATA_SOURCE | 0 | wx | $0 |
| STR_LEN | 0 | wx->driver_name | (-1),6-7 |
| STR_LEN | 0 | wx->eeprom_id | (-1),31 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | wx->bus.device | 0-30[c] |
| HOST_DATA | 0 | wx->bus.func | 0-255[c] |
| HOST_DATA | 0 | wx->device_id | 0-u16max |
| HOST_DATA | 0 | wx->eeprom.sw_region_offset | 0-s16max |
| HOST_DATA | 0 | wx->hw_tc.cycle_last | 0-u64max |
| HOST_DATA | 0 | wx->mac.max_msix_vectors | 1[c] |
| HOST_DATA | 0 | wx->mbx.mailbox | 0-u32max[c] |
| HOST_DATA | 0 | wx->oem_ssid | 0-u16max |
| HOST_DATA | 0 | wx->pdev->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | wx->pdev->class | 0-16777215 |
| HOST_DATA | 0 | wx->pdev->current_state | 0-3[c] |
| HOST_DATA | 0 | wx->pdev->devcap | 0-u32max |
| HOST_DATA | 0 | wx->pdev->devfn | 0-503[c] |
| HOST_DATA | 0 | wx->pdev->device | 0-u16max |
| HOST_DATA | 0 | wx->pdev->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | wx->pdev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | wx->pdev->hdr_type | 0-255[c] |
| HOST_DATA | 0 | wx->pdev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | wx->pdev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | wx->pdev->irq | 0-255 |
| HOST_DATA | 0 | wx->pdev->is_cxl | 0-1 |
| HOST_DATA | 0 | wx->pdev->multifunction | 0-1[c] |
| HOST_DATA | 0 | wx->pdev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | wx->pdev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | wx->pdev->pin | 0 |
| HOST_DATA | 0 | wx->pdev->pme_support | 0-31[c] |
| HOST_DATA | 0 | wx->pdev->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | wx->pdev->revision | 0-255 |
| HOST_DATA | 0 | wx->pdev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | wx->pdev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | wx->pdev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | wx->pdev->transparent | 0[c] |
| HOST_DATA | 0 | wx->pdev->vendor | 0-u16max |
| HOST_DATA | 0 | wx->pps_edge_end | 0-u32max |
| HOST_DATA | 0 | wx->pps_edge_start | 0-u32max |
| HOST_DATA | 0 | wx->revision_id | 0-255 |
| HOST_DATA | 0 | wx->subsystem_device_id | 0-u16max |
| HOST_DATA | 0 | wx->subsystem_vendor_id | 0-u16max |
| HOST_DATA | 0 | wx->vendor_id | 0-u16max |
| NO_OVERFLOW_SIMPLE | 0 | wx->mac.num_rar_entries | |
| NO_OVERFLOW_SIMPLE | 0 | wx->msix_entry->entry | |
| NO_OVERFLOW_SIMPLE | 0 | wx->num_q_vectors | |
| NO_OVERFLOW_SIMPLE | 0 | wx->ptp_clock->kworker->task->dl.pi_se->dl_runtime | |
| UNITS | 0 | wx | unit_byte |
| HALF_LOCKED2 | global &rtnl_mutex |