Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/net/ethernet/sfc/falcon/farch.c _ef4_writed_page() -> ef4_writed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | value | 714271742752337920,3143055263624847360 |
| DATA_SOURCE | 0 | efx | $0 |
| DATA_SOURCE | 1 | value | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/sfc/falcon/farch.c ef4_farch_ev_read_ack() -> ef4_writed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 1 | value | 4404561060839403520 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/sfc/falcon/farch.c ef4_farch_rx_push_indir_table() -> ef4_writed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 1 | value | 7876659204355801088 |
| PARAM_VALUE | 2 | reg | 16449536-16451568 |
| BUF_SIZE | 0 | efx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | efx | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | efx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | efx->pci_dev->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->pcie_flags_reg | 0-u16max |
| NO_OVERFLOW_SIMPLE | 0 | efx->irq_status.len | |
| NO_OVERFLOW_SIMPLE | 0 | efx->type->max_rx_ip_filters | |
| HALF_LOCKED2 | &net_dev->ethtool->rss_lock | ||
| HALF_LOCKED2 | 0 | &efx->mac_lock |
drivers/net/ethernet/sfc/falcon/falcon.c _ef4_writed_page_locked() -> ef4_writed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | value | 6020976198391320576 |
| PARAM_VALUE | 2 | reg | 1056 |
| DATA_SOURCE | 0 | efx | $0 |
| DATA_SOURCE | 1 | value | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &efx->biu_lock | |
| TYPE_LOCK | (struct ef4_nic)->biu_lock |
drivers/net/ethernet/sfc/falcon/falcon.c _ef4_writed_page_locked() -> ef4_writed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | value | 6020976198391320576 |
| DATA_SOURCE | 0 | efx | $0 |
| DATA_SOURCE | 1 | value | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/net/ethernet/sfc/falcon/falcon.c falcon_irq_ack_a1() -> ef4_writed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 1 | value | 6627705772937494528 |
| PARAM_VALUE | 2 | reg | 80 |
| BUF_SIZE | 0 | efx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | efx | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | efx | 1 |
| DATA_SOURCE | 0 | efx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | efx->pci_dev->bus->bridge_ctl | 0-u16max |
| HOST_DATA | 0 | efx->pci_dev->pcie_flags_reg | 0-u16max |
| NO_OVERFLOW_SIMPLE | 0 | efx->irq_status.len | |
| NO_OVERFLOW_SIMPLE | 0 | efx->type->max_rx_ip_filters | |
| HALF_LOCKED2 | 0 | &efx->mac_lock |