Defined in 2 files as a function:
- drivers/net/ethernet/sfc/io.h, line 60 (as a function)
- drivers/net/ethernet/sfc/siena/io.h, line 84 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/net/ethernet/sfc/ef10.c _efx_writeo_page() -> _efx_writeq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| DATA_SOURCE | 0 | efx | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/sfc/ef10.c _efx_writeo_page() -> _efx_writeq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| DATA_SOURCE | 0 | efx | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/sfc/siena/siena_sriov.c efx_writeo() -> _efx_writeq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| BUF_SIZE | 0 | efx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | efx | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | efx | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | efx->pci_dev->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | efx->pci_dev->devfn | 0-503[c] |
| HOST_DATA | 0 | efx->rss_spread | 1[c] |
| NO_OVERFLOW_SIMPLE | 0 | efx->ptp_data->pps_workwq->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->ptp_data->workwq->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->vf_count | |
| NO_OVERFLOW_SIMPLE | 0 | efx->vf_init_count | |
| LOCK2 | flags | ||
| LOCK2 | 0 | &efx->biu_lock | |
| HALF_LOCKED2 | 0 | &efx->mac_lock | |
| TYPE_LOCK | (struct efx_nic)->biu_lock |
drivers/net/ethernet/sfc/siena/siena_sriov.c efx_writeo() -> _efx_writeq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| BUF_SIZE | 0 | efx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | efx | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | efx | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | efx->pci_dev->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | efx->pci_dev->devfn | 0-503[c] |
| HOST_DATA | 0 | efx->rss_spread | 1[c] |
| NO_OVERFLOW_SIMPLE | 0 | efx->ptp_data->pps_workwq->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->ptp_data->workwq->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->vf_count | |
| NO_OVERFLOW_SIMPLE | 0 | efx->vf_init_count | |
| LOCK2 | flags | ||
| LOCK2 | 0 | &efx->biu_lock | |
| HALF_LOCKED2 | 0 | &efx->mac_lock | |
| TYPE_LOCK | (struct efx_nic)->biu_lock |
drivers/net/ethernet/sfc/siena/siena.c efx_writeo() -> _efx_writeq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 2 | reg | 256,592,2048,2144,2256,2272,2288,2640,2688 |
| BUF_SIZE | 0 | efx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | efx | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | efx | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | efx->pci_dev->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->class | 0-16777215 |
| HOST_DATA | 0 | efx->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | efx->pci_dev->devcap | 0-u32max |
| HOST_DATA | 0 | efx->pci_dev->devfn | 0-503[c] |
| HOST_DATA | 0 | efx->pci_dev->device | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | efx->pci_dev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | efx->pci_dev->hdr_type | 0-255[c] |
| HOST_DATA | 0 | efx->pci_dev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | efx->pci_dev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | efx->pci_dev->irq | 0-255 |
| HOST_DATA | 0 | efx->pci_dev->is_cxl | 0-1 |
| HOST_DATA | 0 | efx->pci_dev->multifunction | 0-1[c] |
| HOST_DATA | 0 | efx->pci_dev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | efx->pci_dev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | efx->pci_dev->pin | 0 |
| HOST_DATA | 0 | efx->pci_dev->pme_support | 0-31[c] |
| HOST_DATA | 0 | efx->pci_dev->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | efx->pci_dev->revision | 0-255 |
| HOST_DATA | 0 | efx->pci_dev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | efx->pci_dev->transparent | 0[c] |
| HOST_DATA | 0 | efx->pci_dev->vendor | 0-u16max |
| HOST_DATA | 0 | efx->rss_spread | 1[c] |
| NO_OVERFLOW_SIMPLE | 0 | efx->ptp_data->pps_workwq->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->ptp_data->workwq->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->stats_buffer.len | |
| NO_OVERFLOW_SIMPLE | 0 | efx->workqueue->rescuer->task->dl.pi_se->dl_runtime | |
| USER_PTR | 0 | efx->rss_context.rx_hash_key | |
| LOCK2 | flags | ||
| LOCK2 | 0 | &efx->biu_lock | |
| HALF_LOCKED2 | 0 | &efx->filter_sem | |
| HALF_LOCKED2 | 0 | &efx->mac_lock | |
| HALF_LOCKED2 | 0 | &efx->net_dev->ethtool->rss_lock | |
| TYPE_LOCK | (struct efx_nic)->biu_lock |
drivers/net/ethernet/sfc/siena/siena.c efx_writeo() -> _efx_writeq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 2 | reg | 264,600,2056,2152,2264,2280,2296,2648,2696 |
| BUF_SIZE | 0 | efx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | efx | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | efx | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | efx->pci_dev->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->class | 0-16777215 |
| HOST_DATA | 0 | efx->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | efx->pci_dev->devcap | 0-u32max |
| HOST_DATA | 0 | efx->pci_dev->devfn | 0-503[c] |
| HOST_DATA | 0 | efx->pci_dev->device | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | efx->pci_dev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | efx->pci_dev->hdr_type | 0-255[c] |
| HOST_DATA | 0 | efx->pci_dev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | efx->pci_dev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | efx->pci_dev->irq | 0-255 |
| HOST_DATA | 0 | efx->pci_dev->is_cxl | 0-1 |
| HOST_DATA | 0 | efx->pci_dev->multifunction | 0-1[c] |
| HOST_DATA | 0 | efx->pci_dev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | efx->pci_dev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | efx->pci_dev->pin | 0 |
| HOST_DATA | 0 | efx->pci_dev->pme_support | 0-31[c] |
| HOST_DATA | 0 | efx->pci_dev->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | efx->pci_dev->revision | 0-255 |
| HOST_DATA | 0 | efx->pci_dev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | efx->pci_dev->transparent | 0[c] |
| HOST_DATA | 0 | efx->pci_dev->vendor | 0-u16max |
| HOST_DATA | 0 | efx->rss_spread | 1[c] |
| NO_OVERFLOW_SIMPLE | 0 | efx->ptp_data->pps_workwq->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->ptp_data->workwq->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->stats_buffer.len | |
| NO_OVERFLOW_SIMPLE | 0 | efx->workqueue->rescuer->task->dl.pi_se->dl_runtime | |
| USER_PTR | 0 | efx->rss_context.rx_hash_key | |
| LOCK2 | flags | ||
| LOCK2 | 0 | &efx->biu_lock | |
| HALF_LOCKED2 | 0 | &efx->filter_sem | |
| HALF_LOCKED2 | 0 | &efx->mac_lock | |
| HALF_LOCKED2 | 0 | &efx->net_dev->ethtool->rss_lock | |
| TYPE_LOCK | (struct efx_nic)->biu_lock |
drivers/net/ethernet/sfc/siena/farch.c _efx_writeo_page() -> _efx_writeq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| DATA_SOURCE | 0 | efx | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &tx_queue->core_txq->_xmit_lock |
drivers/net/ethernet/sfc/siena/farch.c _efx_writeo_page() -> _efx_writeq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| DATA_SOURCE | 0 | efx | $0 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &tx_queue->core_txq->_xmit_lock |
drivers/net/ethernet/sfc/siena/farch.c efx_writeo() -> _efx_writeq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | efx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | efx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | efx->filter_state | (-1),480 |
| DATA_SOURCE | 0 | efx | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | efx->n_channels | 1[c] |
| HOST_DATA | 0 | efx->n_rx_channels | 1[c] |
| HOST_DATA | 0 | efx->n_tx_channels | 1[c] |
| HOST_DATA | 0 | efx->pci_dev->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->class | 0-16777215 |
| HOST_DATA | 0 | efx->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | efx->pci_dev->devcap | 0-u32max |
| HOST_DATA | 0 | efx->pci_dev->devfn | 0-503[c] |
| HOST_DATA | 0 | efx->pci_dev->device | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | efx->pci_dev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | efx->pci_dev->hdr_type | 0-255[c] |
| HOST_DATA | 0 | efx->pci_dev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | efx->pci_dev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | efx->pci_dev->irq | 0-255 |
| HOST_DATA | 0 | efx->pci_dev->is_cxl | 0-1 |
| HOST_DATA | 0 | efx->pci_dev->multifunction | 0-1[c] |
| HOST_DATA | 0 | efx->pci_dev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | efx->pci_dev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | efx->pci_dev->pin | 0 |
| HOST_DATA | 0 | efx->pci_dev->pme_support | 0-31[c] |
| HOST_DATA | 0 | efx->pci_dev->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | efx->pci_dev->revision | 0-255 |
| HOST_DATA | 0 | efx->pci_dev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | efx->pci_dev->transparent | 0[c] |
| HOST_DATA | 0 | efx->pci_dev->vendor | 0-u16max |
| HOST_DATA | 0 | efx->rss_spread | 1[c] |
| HOST_DATA | 0 | efx->xdp_channel_offset | 1[c] |
| USER_DATA | 2 | reg | 15728640-15990768,16646144-16908256[c] |
| NO_OVERFLOW_SIMPLE | 0 | efx->num_mac_stats | |
| NO_OVERFLOW_SIMPLE | 0 | efx->ptp_data->phc_clock->clock.dev->dma_range_map | |
| NO_OVERFLOW_SIMPLE | 0 | efx->ptp_data->pps_workwq->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->ptp_data->workwq->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->stats_buffer.len | |
| NO_OVERFLOW_SIMPLE | 0 | efx->type->max_rx_ip_filters | |
| NO_OVERFLOW_SIMPLE | 0 | efx->vf_count | |
| NO_OVERFLOW_SIMPLE | 0 | efx->vf_init_count | |
| NO_OVERFLOW_SIMPLE | 0 | efx->workqueue->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->xdp_tx_queue_count | |
| LOCK2 | flags | ||
| LOCK2 | 0 | &efx->biu_lock | |
| HALF_LOCKED2 | &state->lock | ||
| HALF_LOCKED2 | 0 | &efx->filter_sem | |
| HALF_LOCKED2 | 0 | &efx->mac_lock | |
| HALF_LOCKED2 | 0 | &efx->net_dev->ethtool->rss_lock | |
| HALF_LOCKED2 | 0 | &efx->rps_hash_lock | |
| HALF_LOCKED2 | 0 | &efx->rps_mutex | |
| TYPE_LOCK | (struct efx_nic)->biu_lock |
drivers/net/ethernet/sfc/siena/farch.c efx_writeo() -> _efx_writeq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| BUF_SIZE | 0 | efx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | efx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | efx->filter_state | (-1),480 |
| DATA_SOURCE | 0 | efx | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | efx->n_channels | 1[c] |
| HOST_DATA | 0 | efx->n_rx_channels | 1[c] |
| HOST_DATA | 0 | efx->n_tx_channels | 1[c] |
| HOST_DATA | 0 | efx->pci_dev->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->class | 0-16777215 |
| HOST_DATA | 0 | efx->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 0 | efx->pci_dev->devcap | 0-u32max |
| HOST_DATA | 0 | efx->pci_dev->devfn | 0-503[c] |
| HOST_DATA | 0 | efx->pci_dev->device | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | efx->pci_dev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | efx->pci_dev->hdr_type | 0-255[c] |
| HOST_DATA | 0 | efx->pci_dev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | efx->pci_dev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | efx->pci_dev->irq | 0-255 |
| HOST_DATA | 0 | efx->pci_dev->is_cxl | 0-1 |
| HOST_DATA | 0 | efx->pci_dev->multifunction | 0-1[c] |
| HOST_DATA | 0 | efx->pci_dev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | efx->pci_dev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | efx->pci_dev->pin | 0 |
| HOST_DATA | 0 | efx->pci_dev->pme_support | 0-31[c] |
| HOST_DATA | 0 | efx->pci_dev->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | efx->pci_dev->revision | 0-255 |
| HOST_DATA | 0 | efx->pci_dev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | efx->pci_dev->transparent | 0[c] |
| HOST_DATA | 0 | efx->pci_dev->vendor | 0-u16max |
| HOST_DATA | 0 | efx->rss_spread | 1[c] |
| HOST_DATA | 0 | efx->xdp_channel_offset | 1[c] |
| USER_DATA | 2 | reg | 15728648-15990776,16646152-16908264[c] |
| NO_OVERFLOW_SIMPLE | 0 | efx->num_mac_stats | |
| NO_OVERFLOW_SIMPLE | 0 | efx->ptp_data->phc_clock->clock.dev->dma_range_map | |
| NO_OVERFLOW_SIMPLE | 0 | efx->ptp_data->pps_workwq->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->ptp_data->workwq->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->stats_buffer.len | |
| NO_OVERFLOW_SIMPLE | 0 | efx->type->max_rx_ip_filters | |
| NO_OVERFLOW_SIMPLE | 0 | efx->vf_count | |
| NO_OVERFLOW_SIMPLE | 0 | efx->vf_init_count | |
| NO_OVERFLOW_SIMPLE | 0 | efx->workqueue->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->xdp_tx_queue_count | |
| LOCK2 | flags | ||
| LOCK2 | 0 | &efx->biu_lock | |
| HALF_LOCKED2 | &state->lock | ||
| HALF_LOCKED2 | 0 | &efx->filter_sem | |
| HALF_LOCKED2 | 0 | &efx->mac_lock | |
| HALF_LOCKED2 | 0 | &efx->net_dev->ethtool->rss_lock | |
| HALF_LOCKED2 | 0 | &efx->rps_hash_lock | |
| HALF_LOCKED2 | 0 | &efx->rps_mutex | |
| TYPE_LOCK | (struct efx_nic)->biu_lock |