Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/devlink/health.c devlink_health_report() -> devlink_recover_notify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reporter | 4096-ptr_max |
| PARAM_VALUE | 0 | reporter->health_state | 1 |
| PARAM_VALUE | 0 | reporter->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 54 |
| DATA_SOURCE | 0 | reporter | $0 |
| STR_LEN | 0 | reporter | (-1),7,9,16-18,20,22-24,27-28,30,38 |
| STR_LEN | 0 | reporter | (-1),7,9,16-18,20,22-24,27-28,30,38 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &h->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &rtnl_mutex |
net/devlink/health.c devlink_health_reporter_recover() -> devlink_recover_notify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reporter | 4096-ptr_max |
| PARAM_VALUE | 0 | reporter->health_state | 0 |
| PARAM_VALUE | 0 | reporter->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | reporter->ops->dump | 0,4096-ptr_max |
| PARAM_VALUE | 0 | reporter->ops->recover | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 54 |
| DATA_SOURCE | 0 | reporter | $0 |
| STR_LEN | 0 | reporter | (-1),7,9,16-18,20,22-24,27-28,30,38 |
| STR_LEN | 0 | reporter | (-1),7,9,16-18,20,22-24,27-28,30,38 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &devlink->lock | ||
| HALF_LOCKED2 | global &rtnl_mutex |
net/devlink/health.c devlink_health_reporter_state_update() -> devlink_recover_notify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reporter | 4096-ptr_max |
| PARAM_VALUE | 0 | reporter->health_state | 0-1 |
| PARAM_VALUE | 0 | reporter->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 54 |
| DATA_SOURCE | 0 | reporter | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |