Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/sfc/ef100.c ef100_pci_parse_continue_entry() -> ef100_pci_does_bar_overflow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->pci_dev | 4096-ptr_max |
| PARAM_VALUE | 1 | bar | 0-5 |
| PARAM_VALUE | 2 | next_entry | 0,16-18446744073709551600 |
| DATA_SOURCE | 0 | efx | $0 |
| BIT_INFO | 0 | efx->msg_enable | 0x0,0xffffffff |
| BIT_INFO | 2 | next_entry | 0x0,0xfffffffffffffff0 |
| BIT_INFO | 2 | next_entry | 0x0,0xfffffffffffffff0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | efx->pci_dev->current_state | 0-3[c] |
| NO_OVERFLOW_SIMPLE | 0 | efx->workqueue->rescuer->task->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->workqueue_name |
drivers/net/ethernet/sfc/ef100.c ef100_pci_walk_xilinx_table() -> ef100_pci_does_bar_overflow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 2 | next_entry | 8-u64max |
| DATA_SOURCE | 0 | efx | $0 |
| BIT_INFO | 0 | efx->msg_enable | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | efx->pci_dev->current_state | 0-3[c] |
| HOST_DATA | 2 | next_entry | 8-8589934590[c] |
| NO_OVERFLOW_SIMPLE | 0 | efx->workqueue->rescuer | |
| NO_OVERFLOW_SIMPLE | 0 | efx->workqueue->rescuer->task->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->workqueue->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | efx->workqueue_name |