Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/watchdog/bcm47xx_wdt.c bcm47xx_wdt_hard_stop() -> (struct bcm47xx_wdt)->timer_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wdt | 4096-ptr_max |
| PARAM_VALUE | 1 | ticks | 0 |
| DATA_SOURCE | 0 | wdt | r bcm47xx_wdt_get |
| CONTAINER | 0 | -0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/watchdog/bcm47xx_wdt.c bcm47xx_wdt_restart() -> (struct bcm47xx_wdt)->timer_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wdt | 4096-ptr_max |
| PARAM_VALUE | 1 | ticks | 1 |
| DATA_SOURCE | 0 | wdt | r bcm47xx_wdt_get |
| CONTAINER | 0 | -0+0 | $(-1) |
| NOCHECK_CALL |
drivers/watchdog/bcm47xx_wdt.c bcm47xx_wdt_soft_stop() -> (struct bcm47xx_wdt)->timer_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wdt | 4096-ptr_max |
| PARAM_VALUE | 0 | wdt->soft_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | wdt->soft_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | wdt->soft_timer.function | 0 |
| PARAM_VALUE | 1 | ticks | 0 |
| CAPPED_DATA | 0 | &wdt->soft_timer | 1 |
| DATA_SOURCE | 0 | wdt | r bcm47xx_wdt_get |
| CONTAINER | 0 | -0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |