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