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