Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/watchdog/watchdog_core.c ___watchdog_register_device() -> watchdog_dev_unregister()

Type Parameter Key Value
PARAM_VALUE 0 wdd 4096-ptr_max
PARAM_VALUE 0 wdd->gov 0,1149377060971225088,7838631593044996096,8891211723011710976
PARAM_VALUE 0 wdd->gov->pretimeout 1268917509790052352,5726959993742688256,7586697599874490368
PARAM_VALUE 0 wdd->id 0-s32max
PARAM_VALUE 0 wdd->info 1-u64max
PARAM_VALUE 0 wdd->max_timeout 0
PARAM_VALUE 0 wdd->min_timeout 0
PARAM_VALUE 0 wdd->ops 4096-ptr_max
PARAM_VALUE 0 wdd->ops->start 1-u64max
PARAM_VALUE 0 wdd->ops->stop 1-u64max
PARAM_VALUE 0 wdd->parent 0,4096-ptr_max
PARAM_VALUE 0 wdd->reboot_nb.notifier_call 6478893391520083968
PARAM_VALUE 0 wdd->wd_data 4096-ptr_max
PARAM_VALUE 0 wdd->wd_data->lock.first_waiter 0
PARAM_VALUE 0 wdd->wd_data->lock.magic 4096-ptr_max
PARAM_VALUE 0 wdd->wd_data->lock.osq.tail.counter 0
PARAM_VALUE 0 wdd->wd_data->lock.owner.counter 0
PARAM_VALUE 0 wdd->wd_data->pretimeout_timer.base 4096-ptr_max
PARAM_VALUE 0 wdd->wd_data->pretimeout_timer.function 1-u64max
PARAM_VALUE 0 wdd->wd_data->pretimeout_timer.is_hard 0
PARAM_VALUE 0 wdd->wd_data->pretimeout_timer.is_lazy 0
PARAM_VALUE 0 wdd->wd_data->pretimeout_timer.is_rel 0
PARAM_VALUE 0 wdd->wd_data->pretimeout_timer.is_soft 0
PARAM_VALUE 0 wdd->wd_data->wdd 4096-ptr_max
BUF_SIZE 0 wdd->groups (-1),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->reboot_nb 1
DATA_SOURCE 0 wdd $0
STR_LEN 0 wdd->info->identity (-1),31
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 wdd->timeout 1-u32max
NO_OVERFLOW_SIMPLE 0 wdd->timeout
LOCK2 global &wtd_deferred_reg_mutex

drivers/watchdog/watchdog_core.c __watchdog_unregister_device() -> watchdog_dev_unregister()

Type Parameter Key Value
PARAM_VALUE 0 wdd 4096-ptr_max
PARAM_VALUE 0 wdd->ops 4096-ptr_max
DATA_SOURCE 0 wdd $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &wtd_deferred_reg_mutex
HALF_LOCKED2 &wdt->reg_lock