Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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