Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/watchdog/npcm_wdt.c npcm_wdt_probe() -> npcm_get_reset_status()

Type Parameter Key Value
PARAM_VALUE 0 wdt 4096-ptr_max
PARAM_VALUE 0 wdt->clk 0,4096-ptr_max
PARAM_VALUE 0 wdt->reg 4096-ptr_max
PARAM_VALUE 0 wdt->wdd.info 2796971637296959488,4620050580452470784
PARAM_VALUE 0 wdt->wdd.ops 5018753609431724032
PARAM_VALUE 0 wdt->wdd.parent 4096-ptr_max
PARAM_VALUE 0 wdt->wdd.parent->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 wdt->wdd.timeout 1-2,5,10,21,43,86,172,687,2750
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 1 dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 1 dev->devres_head.prev->next->next 4096-ptr_max
BUF_SIZE 0 wdt 208
BUF_SIZE 0 wdt->clk (-1),1-s32max
BUF_SIZE 0 wdt->wdd.info 40
BUF_SIZE 0 wdt->wdd.ops 80
BUF_SIZE 0 wdt->wdd.parent 1616
BUF_SIZE 1 dev 1616
DATA_SOURCE 0 wdt r devm_kzalloc
DATA_SOURCE 2 data r device_get_match_data
BIT_INFO 0 wdt->wdd.info 0x10968214249000,0x66ddf7e6dffdf000
MEM_ZERO 0 wdt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 wdt->wdd.timeout