Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/watchdog/da9062_wdt.c da9062_wdt_probe() -> da9062_wdt_read_timeout()

Type Parameter Key Value
PARAM_VALUE 0 wdt 4096-ptr_max
PARAM_VALUE 0 wdt->hw 1-u64max
PARAM_VALUE 0 wdt->wdtdev.driver_data 4096-ptr_max
PARAM_VALUE 0 wdt->wdtdev.info 8441570072460996608
PARAM_VALUE 0 wdt->wdtdev.max_timeout 131
PARAM_VALUE 0 wdt->wdtdev.min_hw_heartbeat_ms 300
PARAM_VALUE 0 wdt->wdtdev.min_timeout 2
PARAM_VALUE 0 wdt->wdtdev.ops 8457648250590228480
PARAM_VALUE 0 wdt->wdtdev.parent 4096-ptr_max
PARAM_VALUE 0 wdt->wdtdev.parent->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 wdt->wdtdev.parent->parent 4096-ptr_max
PARAM_VALUE 0 wdt->wdtdev.restart_nb.priority 128
PARAM_VALUE 0 wdt->wdtdev.status 2
PARAM_VALUE 0 wdt->wdtdev.timeout 65
BUF_SIZE 0 wdt 208
BUF_SIZE 0 wdt->hw s32min-(-2),1-s32max
BUF_SIZE 0 wdt->wdtdev.info 40
BUF_SIZE 0 wdt->wdtdev.ops 80
BUF_SIZE 0 wdt->wdtdev.parent 1616
DATA_SOURCE 0 wdt r devm_kzalloc
MEM_ZERO 0 wdt
RX_PATH
TASK_NOT_RUNNING