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_register()

Type Parameter Key Value
PARAM_VALUE 0 wdd 4096-ptr_max
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->parent 0,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
DATA_SOURCE 0 wdd $0
STR_LEN 0 wdd->info->identity (-1),31
RX_PATH
TASK_NOT_RUNNING
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_register_device() -> watchdog_dev_register()

Type Parameter Key Value
PARAM_VALUE 0 wdd 4096-ptr_max
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->parent 0,4096-ptr_max
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->pretimeout_timer.node.node.node.__rb_parent_color 0
PARAM_VALUE 0 wdd->wd_data->pretimeout_timer.node.node.node.rb_left 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
DATA_SOURCE 0 wdd $0
STR_LEN 0 wdd->info->identity (-1),31
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 wdd->timeout 1-u32max
NO_OVERFLOW_SIMPLE 0 wdd->timeout
LOCK2 global &wtd_deferred_reg_mutex