Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/sfc/ef100.c ef100_pci_walk_xilinx_table() -> ef100_pci_parse_continue_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | efx | 4096-ptr_max |
| PARAM_VALUE | 0 | efx->net_dev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,3720,9688-u64max |
| PARAM_VALUE | 0 | efx->pci_dev->bus->self->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 0 | efx->pci_dev->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 0 | efx->pci_dev->subordinate->self->link_bwctrl->cdev | (-22),(-19),(-12),0-s64max |
| PARAM_VALUE | 0 | efx->type->min_interrupt_mode | 0,2 |
| PARAM_VALUE | 0 | efx->type->rx_prefix_size | 14,16,22 |
| PARAM_VALUE | 2 | result->bar | 0-5 |
| PARAM_VALUE | 2 | result->offset | 0,16-4294967280 |
| DATA_SOURCE | 0 | efx | $0 |
| DATA_SOURCE | 2 | result | $2 |
| 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 | 1 | entry_location | 0-s32max[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 |