Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/watchdog/imx2_wdt.c imx2_wdt_probe() -> imx2_wdt_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 wdog 4096-ptr_max
PARAM_VALUE 0 wdog->bootstatus 0,32
PARAM_VALUE 0 wdog->driver_data 4096-ptr_max
PARAM_VALUE 0 wdog->info 193079452269428736,2203827151076392960
PARAM_VALUE 0 wdog->max_hw_heartbeat_ms 128000
PARAM_VALUE 0 wdog->ops 6242925133025615872
PARAM_VALUE 0 wdog->parent 4096-ptr_max
PARAM_VALUE 0 wdog->parent->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 wdog->restart_nb.priority 128
PARAM_VALUE 0 wdog->timeout 1-4294967
PARAM_VALUE 1 new_timeout 1-4294967
BUF_SIZE 0 wdog 192
BUF_SIZE 0 wdog->info 40
BUF_SIZE 0 wdog->ops 80
BUF_SIZE 0 wdog->parent 1616
FUZZY_MAX 0 wdog->bootstatus 32
FUZZY_MAX 0 wdog->timeout 60
FUZZY_MAX 1 new_timeout 60
BIT_INFO 0 wdog->bootstatus 0x0,0x20
BIT_INFO 0 wdog->info 0x285901c04400000,0xffffffffffffffff
HARD_MAX 0 wdog->bootstatus 32
MEM_ZERO 0 wdog
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 wdog->timeout
NO_OVERFLOW_SIMPLE 1 new_timeout

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

Type Parameter Key Value
PARAM_VALUE 0 wdog 4096-ptr_max
BUF_SIZE 0 wdog s32min-(-2),1-s32max
BUF_SIZE 0 wdog s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 wdog unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 wdog 4096-ptr_max
PARAM_VALUE 1 new_timeout 128
BUF_SIZE 0 wdog s32min-(-2),1-s32max
BUF_SIZE 0 wdog s32min-(-2),1-s32max
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_set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 wdog 4096-ptr_max
PARAM_VALUE 0 wdog->ops 4096-ptr_max
PARAM_VALUE 0 wdog->wd_data 4096-ptr_max
DATA_SOURCE 0 wdog $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 wdog->timeout
NO_OVERFLOW_SIMPLE 1 new_timeout
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/bcm47xx_wdt.c bcm47xx_wdt_probe() -> (struct watchdog_ops)->set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 wdog 4096-ptr_max
PARAM_VALUE 0 wdog->info 1993355227489009664
PARAM_VALUE 0 wdog->ops 4071712083976896512,6123912033160548352
PARAM_VALUE 0 wdog->parent 4096-ptr_max
PARAM_VALUE 0 wdog->timeout 30
CONTAINER 0 -40-32+0 $(-1)
RX_PATH
TASK_NOT_RUNNING

drivers/watchdog/watchdog_dev.c watchdog_set_timeout() -> (struct watchdog_ops)->set_timeout()

Type Parameter Key Value
PARAM_VALUE 0 wdog 4096-ptr_max
PARAM_VALUE 0 wdog->info 4096-ptr_max
PARAM_VALUE 0 wdog->info->options 128-u32max
PARAM_VALUE 0 wdog->min_timeout 0-4294967
PARAM_VALUE 0 wdog->ops 4096-ptr_max
PARAM_VALUE 0 wdog->ops->set_timeout 1-u64max
PARAM_VALUE 1 new_timeout 0-4294967
CAPPED_DATA 0 wdog->min_timeout 1
CAPPED_DATA 1 new_timeout 1
DATA_SOURCE 0 wdog $0
DATA_SOURCE 1 new_timeout $1
CONTAINER 0 -40-32+0 $(-1)
PARAM_COMPARE 1 new_timeout >= $0->min_timeout
BIT_INFO 0 wdog->info->options 0x80,0xffffffffffffffff
HARD_MAX 0 wdog->min_timeout 4294967
HARD_MAX 1 new_timeout 4294967
USER_DATA 1 new_timeout 0-4294967[c]
NO_OVERFLOW_SIMPLE 1 new_timeout
LOCK2 &wd_data->lock
TYPE_LOCK (struct watchdog_core_data)->lock