Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/ethernet/intel/i40e/i40e_main.c i40e_init_recovery_mode() -> i40e_init_interrupt_scheme()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pf | 4096-ptr_max |
| PARAM_VALUE | 0 | pf->pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pf->pdev->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | pf->pdev->error_state | 0-2,4-u32max |
| PARAM_VALUE | 0 | pf->pdev->state_saved | 1 |
| PARAM_VALUE | 0 | pf->service_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | pf->service_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | pf->service_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | pf->service_timer_period | 250 |
| PARAM_VALUE | 0 | pf->state | 4096-ptr_max |
| DATA_SOURCE | 0 | pf | $0 |
drivers/net/ethernet/intel/i40e/i40e_main.c i40e_restore_interrupt_scheme() -> i40e_init_interrupt_scheme()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pf | 4096-ptr_max |
| PARAM_VALUE | 0 | pf->flags | 4096-ptr_max |
| PARAM_VALUE | 0 | pf->state | 4096-ptr_max |
| BUF_SIZE | 0 | pf | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | pf | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | pf | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | pf | unit_byte |
| LOCK2 | global &rtnl_mutex |