Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/intel/fm10k/fm10k_pci.c fm10k_service_task() -> fm10k_reset_subtask()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | interface | 4096-ptr_max |
| PARAM_VALUE | 0 | interface->hw.mbx.msg_data->attr | 0,1078424882018463744,1526833289328570368,2340772923921772544,4225651140417232896,4495430661795942400,5045236804733853696 |
| PARAM_VALUE | 0 | interface->hw.mbx.msg_data->func | 4096-ptr_max |
| PARAM_VALUE | 0 | interface->netdev | 4096-ptr_max |
| PARAM_VALUE | 0 | interface->pdev->dev.msi.data->__iter_idx | 0-s64max |
| PARAM_VALUE | 0 | interface->state | 4096-ptr_max |
| PARAM_VALUE | 0 | *interface->netdev->name | 0-255 |
| PARAM_VALUE | 0 | *interface->reta | 0-4294967295 |
| CAPPED_DATA | 0 | interface | 1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |