Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/watchdog/renesas_wdt.c rwdt_init_timeout() -> rwdt_write()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 2 reg 0
BUF_SIZE 0 priv s32min-(-2),1-s32max
BUF_SIZE 0 priv s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 priv unit_byte
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/renesas_wdt.c rwdt_restart() -> rwdt_write()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 1 val 0-127
PARAM_VALUE 2 reg 4
BUF_SIZE 0 priv s32min-(-2),1-s32max
BUF_SIZE 0 priv s32min-(-2),1-s32max
NOCHECK_CALL
HOST_DATA 1 val 0-127
UNITS 0 priv unit_byte

drivers/watchdog/renesas_wdt.c rwdt_restart() -> rwdt_write()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 1 val u16max
PARAM_VALUE 2 reg 0
BUF_SIZE 0 priv s32min-(-2),1-s32max
BUF_SIZE 0 priv s32min-(-2),1-s32max
NOCHECK_CALL
UNITS 0 priv unit_byte

drivers/watchdog/renesas_wdt.c rwdt_restart() -> rwdt_write()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 1 val 0
PARAM_VALUE 2 reg 4
BUF_SIZE 0 priv s32min-(-2),1-s32max
BUF_SIZE 0 priv s32min-(-2),1-s32max
NOCHECK_CALL
UNITS 0 priv unit_byte

drivers/watchdog/renesas_wdt.c rwdt_restart() -> rwdt_write()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 1 val 128
PARAM_VALUE 2 reg 4
BUF_SIZE 0 priv s32min-(-2),1-s32max
BUF_SIZE 0 priv s32min-(-2),1-s32max
NOCHECK_CALL
UNITS 0 priv unit_byte

drivers/watchdog/renesas_wdt.c rwdt_start() -> rwdt_write()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 1 val 0-127
PARAM_VALUE 2 reg 4
BUF_SIZE 0 priv s32min-(-2),1-s32max
BUF_SIZE 0 priv s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 val 0-127
UNITS 0 priv unit_byte
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/renesas_wdt.c rwdt_start() -> rwdt_write()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 2 reg 4
BUF_SIZE 0 priv s32min-(-2),1-s32max
BUF_SIZE 0 priv s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 priv unit_byte
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/renesas_wdt.c rwdt_start() -> rwdt_write()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 1 val 0
PARAM_VALUE 2 reg 8
BUF_SIZE 0 priv s32min-(-2),1-s32max
BUF_SIZE 0 priv s32min-(-2),1-s32max
BIT_INFO 0 priv->cks 0xa5a5a500,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 priv unit_byte
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/renesas_wdt.c rwdt_start() -> rwdt_write()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 1 val 128-135
PARAM_VALUE 2 reg 4
BUF_SIZE 0 priv s32min-(-2),1-s32max
BUF_SIZE 0 priv s32min-(-2),1-s32max
BIT_INFO 0 priv->cks 0xa5a5a500,0xffffffffffffffff
BIT_INFO 1 val 0x80,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 priv unit_byte
HALF_LOCKED2 &wd_data->lock

drivers/watchdog/renesas_wdt.c rwdt_stop() -> rwdt_write()

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