Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/ssb/driver_chipcommon.c ssb_chipco_watchdog_timer_set_ms() -> bcm47xx_wdt_get_drvdata()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | wdt | $0 |
drivers/ssb/driver_chipcommon.c ssb_chipco_watchdog_timer_set_wdt() -> bcm47xx_wdt_get_drvdata()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | wdt | $0 |
drivers/bcma/driver_chipcommon.c bcma_chipco_watchdog_timer_set_ms_wdt() -> bcm47xx_wdt_get_drvdata()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wdt | 8552045495028928512 |
| PARAM_VALUE | 0 | wdt->driver_data | 0,4096-ptr_max |
| DATA_SOURCE | 0 | wdt | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/bcma/driver_chipcommon.c bcma_chipco_watchdog_timer_set_wdt() -> bcm47xx_wdt_get_drvdata()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wdt | 8552045495028928512 |
| PARAM_VALUE | 0 | wdt->driver_data | 0,4096-ptr_max |
| DATA_SOURCE | 0 | wdt | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |