Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/watchdog/da9055_wdt.c da9055_wdt_probe() -> da9055_wdt_stop()

Type Parameter Key Value
PARAM_VALUE 0 wdt_dev 4096-ptr_max
PARAM_VALUE 0 wdt_dev->driver_data 4096-ptr_max
PARAM_VALUE 0 wdt_dev->info 3289882340645863424
PARAM_VALUE 0 wdt_dev->ops 4061212184773435392
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 4
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
MEM_ZERO 0 wdt_dev
RX_PATH
TASK_NOT_RUNNING

drivers/watchdog/watchdog_core.c watchdog_reboot_notifier() -> (struct watchdog_ops)->stop()

Type Parameter Key Value
PARAM_VALUE 0 wdt_dev 4096-ptr_max
PARAM_VALUE 0 wdt_dev->ops 4096-ptr_max
CONTAINER 0 -16-32+0 $(-1)

drivers/watchdog/watchdog_dev.c watchdog_stop() -> (struct watchdog_ops)->stop()

Type Parameter Key Value
PARAM_VALUE 0 wdt_dev 4096-ptr_max
PARAM_VALUE 0 wdt_dev->gov->pretimeout 1268917509790052352,5726959993742688256,7586697599874490368
PARAM_VALUE 0 wdt_dev->ops 4096-ptr_max
PARAM_VALUE 0 wdt_dev->ops->stop 1-u64max
PARAM_VALUE 0 wdt_dev->wd_data->dev.power.wakeirq->status 0-4294967295
BUF_SIZE 0 wdt_dev->groups (-1)-0,16
BUF_SIZE 0 wdt_dev->info (-1),40
BUF_SIZE 0 wdt_dev->ops (-1),80
BUF_SIZE 0 wdt_dev->parent (-1),1616
CAPPED_DATA 0 wdt_dev 1
DATA_SOURCE 0 wdt_dev $0
STR_LEN 0 wdt_dev->info->identity (-1),31
CONTAINER 0 -16-32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 wdt_dev->timeout 1-u32max[c]
NO_OVERFLOW_SIMPLE 0 wdt_dev->timeout
HALF_LOCKED2 &wd_data->lock
HALF_LOCKED2 global &wtd_deferred_reg_mutex