Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/watchdog/da9063_wdt.c da9063_wdt_set_timeout() -> da9063_wdt_timeout_to_sel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | secs | $1 |
| NOSPEC | 0 | secs | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | secs | 0-4294967[c] |
| NO_OVERFLOW_SIMPLE | 0 | secs | |
| HALF_LOCKED2 | &wd_data->lock |
drivers/watchdog/da9063_wdt.c da9063_wdt_update_timeout() -> da9063_wdt_timeout_to_sel()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | secs | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | secs | 0-4294967[c] |
| NO_OVERFLOW_SIMPLE | 0 | secs |