Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/watchdog/mlx_wdt.c mlxreg_wdt_probe() -> mlxreg_wdt_init_timeout()

Type Parameter Key Value
PARAM_VALUE 0 wdt 4096-ptr_max
PARAM_VALUE 0 wdt->action_idx 0-2147483646
PARAM_VALUE 0 wdt->pdata 4096-ptr_max
PARAM_VALUE 0 wdt->pdata->regmap 4096-ptr_max
PARAM_VALUE 0 wdt->ping_idx 0-2147483646
PARAM_VALUE 0 wdt->regmap 4096-ptr_max
PARAM_VALUE 0 wdt->regmap->format.format_write 0
PARAM_VALUE 0 wdt->regmap_val_sz 0-s32max
PARAM_VALUE 0 wdt->reset_idx (-22),0-2147483646
PARAM_VALUE 0 wdt->timeout_idx 0-2147483646
PARAM_VALUE 0 wdt->tleft_idx 0-2147483646
PARAM_VALUE 0 wdt->wdd.driver_data 4096-ptr_max
PARAM_VALUE 0 wdt->wdd.info 915865239837114368,2980987245355900928
PARAM_VALUE 0 wdt->wdd.info->firmware_version 0
PARAM_VALUE 0 wdt->wdd.info->options 33184,34176
PARAM_VALUE 0 wdt->wdd.max_timeout 32,255,u16max
PARAM_VALUE 0 wdt->wdd.min_timeout 1
PARAM_VALUE 0 wdt->wdd.ops 8073307494824210432,8374694853499125760
PARAM_VALUE 0 wdt->wdd.ops->get_timeleft 0,4011212515323633664
PARAM_VALUE 0 wdt->wdd.ops->ioctl 0
PARAM_VALUE 0 wdt->wdd.ops->owner 0
PARAM_VALUE 0 wdt->wdd.ops->ping 3192295044857692160
PARAM_VALUE 0 wdt->wdd.ops->restart 0
PARAM_VALUE 0 wdt->wdd.ops->set_pretimeout 0
PARAM_VALUE 0 wdt->wdd.ops->set_timeout 8176793139551690752
PARAM_VALUE 0 wdt->wdd.ops->start 1503181909507465216
PARAM_VALUE 0 wdt->wdd.ops->status 0
PARAM_VALUE 0 wdt->wdd.ops->stop 6684688344398598144
PARAM_VALUE 0 wdt->wdd.parent 4096-ptr_max
PARAM_VALUE 0 wdt->wdd.parent->devres_head.prev 4096-ptr_max
PARAM_VALUE 1 pdata 4096-ptr_max
PARAM_VALUE 1 pdata->regmap 4096-ptr_max
PARAM_VALUE 1 *pdata->data->label 0-255
PARAM_VALUE 1 *pdata->identity 0-255
BUF_SIZE 0 wdt 240
BUF_SIZE 0 wdt->wdd.parent 1616
BUF_SIZE 1 pdata s32min-(-2),1-s32max
BUF_SIZE 1 pdata s32min-(-2),1-s32max
CAPPED_DATA 1 pdata->counter 1
DATA_SOURCE 0 wdt r devm_kzalloc
BIT_INFO 1 pdata->features 0x0,0xffffffff
MEM_ZERO 0 wdt
RX_PATH
TASK_NOT_RUNNING