Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/watchdog/imx2_wdt.c imx2_wdt_resume() -> imx2_wdt_ping()

Type Parameter Key Value
PARAM_VALUE 0 wdog 4096-ptr_max
PARAM_VALUE 0 wdog->driver_data 4096-ptr_max
PARAM_VALUE 0 wdog->driver_data->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 wdog->driver_data->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 wdog->driver_data->regmap->cache_dirty 1
BUF_SIZE 0 wdog s32min-(-2),1-s32max
BUF_SIZE 0 wdog s32min-(-2),1-s32max
CAPPED_DATA 0 wdog->driver_data->regmap->rd_table->n_yes_ranges 1
CAPPED_DATA 0 wdog->driver_data->regmap->volatile_table->n_no_ranges 1
CAPPED_DATA 0 wdog->driver_data->regmap->volatile_table->n_yes_ranges 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 wdog unit_byte

drivers/watchdog/imx2_wdt.c imx2_wdt_shutdown() -> imx2_wdt_ping()

Type Parameter Key Value
PARAM_VALUE 0 wdog 4096-ptr_max
PARAM_VALUE 0 wdog->driver_data 4096-ptr_max
PARAM_VALUE 0 wdog->driver_data->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 wdog->driver_data->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 wdog->driver_data->regmap->cache_dirty 1
PARAM_VALUE 0 wdog->timeout 128
BUF_SIZE 0 wdog s32min-(-2),1-s32max
BUF_SIZE 0 wdog s32min-(-2),1-s32max
CAPPED_DATA 0 wdog->driver_data->regmap->rd_table->n_yes_ranges 1
CAPPED_DATA 0 wdog->driver_data->regmap->volatile_table->n_no_ranges 1
CAPPED_DATA 0 wdog->driver_data->regmap->volatile_table->n_yes_ranges 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 wdog unit_byte
LOCK2 &_dev->mutex
HALF_LOCKED2 &parent->mutex
HALF_LOCKED2 global &system_transition_mutex
TYPE_LOCK (struct device)->mutex

drivers/watchdog/imx2_wdt.c imx2_wdt_start() -> imx2_wdt_ping()

Type Parameter Key Value
PARAM_VALUE 0 wdog 4096-ptr_max
PARAM_VALUE 0 wdog->driver_data 4096-ptr_max
PARAM_VALUE 0 wdog->driver_data->regmap 4096-ptr_max
PARAM_VALUE 0 wdog->ops 4096-ptr_max
PARAM_VALUE 0 wdog->wd_data 4096-ptr_max
PARAM_VALUE 0 *wdog->driver_data->regmap->cache->data 0-4294967295
DATA_SOURCE 0 wdog $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 wdog->timeout
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/imx2_wdt.c imx2_wdt_suspend() -> imx2_wdt_ping()

Type Parameter Key Value
PARAM_VALUE 0 wdog 4096-ptr_max
PARAM_VALUE 0 wdog->driver_data 4096-ptr_max
PARAM_VALUE 0 wdog->driver_data->regmap 4096-ptr_max
PARAM_VALUE 0 wdog->driver_data->regmap->cache->cached_rbnode->base_reg 0-4294967295
PARAM_VALUE 0 wdog->driver_data->regmap->cache->cached_rbnode->blklen 0-4294967295
PARAM_VALUE 0 wdog->driver_data->regmap->cache_dirty 1
BUF_SIZE 0 wdog s32min-(-2),1-s32max
BUF_SIZE 0 wdog s32min-(-2),1-s32max
CAPPED_DATA 0 wdog->driver_data->regmap->rd_table->n_yes_ranges 1
CAPPED_DATA 0 wdog->driver_data->regmap->volatile_table->n_no_ranges 1
CAPPED_DATA 0 wdog->driver_data->regmap->volatile_table->n_yes_ranges 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 wdog unit_byte

drivers/watchdog/watchdog_dev.c __watchdog_ping() -> (struct watchdog_ops)->ping()

Type Parameter Key Value
PARAM_VALUE 0 wdog 4096-ptr_max
PARAM_VALUE 0 wdog->ops 4096-ptr_max
PARAM_VALUE 0 wdog->ops->ping 1-u64max
PARAM_VALUE 0 wdog->wd_data 4096-ptr_max
BUF_SIZE 0 wdog (-1),192
BUF_SIZE 0 wdog (-1),192
BUF_SIZE 0 wdog->info (-1),40
BUF_SIZE 0 wdog->ops (-1),80
BUF_SIZE 0 wdog->parent (-1),1616
DATA_SOURCE 0 wdog $0
CONTAINER 0 -24-32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 wdog->timeout
HALF_LOCKED2 &wd_data->lock