Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/net/ethernet/wangxun/libwx/wx_mbx.c wx_poll_for_msg() -> wx_check_for_msg_vf()
| 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),1-s32max |
| CAPPED_DATA | 0 | wx->mbx.size | 1 |
| DATA_SOURCE | 0 | wx | $0 |
| STR_LEN | 0 | wx->driver_name | (-1),6-7 |
| STR_LEN | 0 | wx->eeprom_id | (-1),31 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | wx->bus.func | 0-255[c] |
| 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->msix_entry->entry | 0-u16max[c] |
| HOST_DATA | 0 | wx->num_q_vectors | 1-s32max[c] |
| 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->subsystem_device_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 | |
| UNITS | 0 | wx | unit_byte |
| HALF_LOCKED2 | &wx->mbx.mbx_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | 0 | &wx->mbx.mbx_lock | |
| HALF_LOCKED2 | 0 | &wx->reset_lock |
drivers/net/ethernet/wangxun/libwx/wx_mbx.c wx_write_mbx_vf() -> wx_check_for_msg_vf()
| 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),1-s32max |
| DATA_SOURCE | 0 | wx | $0 |
| STR_LEN | 0 | wx->driver_name | (-1),6-7 |
| STR_LEN | 0 | wx->eeprom_id | (-1),31 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | wx->bus.func | 0-255[c] |
| 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->msix_entry->entry | 0-u16max[c] |
| HOST_DATA | 0 | wx->num_q_vectors | 1-s32max[c] |
| 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->subsystem_device_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 | |
| UNITS | 0 | wx | unit_byte |
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | 0 | &wx->mbx.mbx_lock | |
| HALF_LOCKED2 | 0 | &wx->reset_lock |
drivers/net/ethernet/wangxun/libwx/wx_vf.c wx_check_mac_link_vf() -> wx_check_for_msg_vf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wx | 4096-ptr_max |
| DATA_SOURCE | 0 | wx | $0 |
| PREEMPT_ADD | |||
| HOST_DATA | 0 | wx->mbx.mailbox | 0-u32max[c] |
| LOCK2 | bh | ||
| LOCK2 | 0 | &wx->mbx.mbx_lock | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct wx_mbx_info)->mbx_lock |