Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/watchdog/da9052_wdt.c da9052_wdt_probe() -> da9052_wdt_start()

Type Parameter Key Value
PARAM_VALUE 0 wdt_dev 4096-ptr_max
PARAM_VALUE 0 wdt_dev->bootstatus 0-1,16-17,32-33,48-49
PARAM_VALUE 0 wdt_dev->driver_data 4096-ptr_max
PARAM_VALUE 0 wdt_dev->info 5361003877574664192
PARAM_VALUE 0 wdt_dev->min_hw_heartbeat_ms 256
PARAM_VALUE 0 wdt_dev->min_timeout 0-4294967
PARAM_VALUE 0 wdt_dev->ops 5944654712055160832
PARAM_VALUE 0 wdt_dev->parent 4096-ptr_max
PARAM_VALUE 0 wdt_dev->parent->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 wdt_dev->parent->parent 4096-ptr_max
PARAM_VALUE 0 wdt_dev->timeout 1-4294967
BUF_SIZE 0 wdt_dev 192
BUF_SIZE 0 wdt_dev->info 40
BUF_SIZE 0 wdt_dev->ops 80
BUF_SIZE 0 wdt_dev->parent 1616
FUZZY_MAX 0 wdt_dev->bootstatus 0
FUZZY_MAX 0 wdt_dev->min_timeout 0
FUZZY_MAX 0 wdt_dev->timeout 4
MEM_ZERO 0 wdt_dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 wdt_dev->timeout

drivers/watchdog/watchdog_dev.c __watchdog_ping() -> (struct watchdog_ops)->start()

Type Parameter Key Value
PARAM_VALUE 0 wdt_dev 4096-ptr_max
PARAM_VALUE 0 wdt_dev->ops 4096-ptr_max
PARAM_VALUE 0 wdt_dev->ops->ping 0
PARAM_VALUE 0 wdt_dev->wd_data 4096-ptr_max
DATA_SOURCE 0 wdt_dev $0
CONTAINER 0 -8-32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 wdt_dev->timeout
LOCK2 &wd_data->lock
TYPE_LOCK (struct watchdog_core_data)->lock

drivers/watchdog/watchdog_dev.c watchdog_start() -> (struct watchdog_ops)->start()

Type Parameter Key Value
PARAM_VALUE 0 wdt_dev 4096-ptr_max
PARAM_VALUE 0 wdt_dev->ops 4096-ptr_max
PARAM_VALUE 0 wdt_dev->wd_data 4096-ptr_max
DATA_SOURCE 0 wdt_dev $0
CONTAINER 0 -8-32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &wd_data->lock