Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/watchdog/geodewdt.c geodewdt_disable() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 1 reg 6
PARAM_VALUE 2 value 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/watchdog/geodewdt.c geodewdt_disable() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->chip 4096-ptr_max
PARAM_VALUE 1 reg 4
PARAM_VALUE 2 value 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/watchdog/geodewdt.c geodewdt_ping() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 1 reg 6
PARAM_VALUE 2 value 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/watchdog/geodewdt.c geodewdt_ping() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->chip 4096-ptr_max
PARAM_VALUE 1 reg 4
PARAM_VALUE 2 value 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/watchdog/geodewdt.c geodewdt_ping() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->chip 4096-ptr_max
PARAM_VALUE 1 reg 6
PARAM_VALUE 2 value 32768
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/watchdog/geodewdt.c geodewdt_probe() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->chip 2848377598165372928
PARAM_VALUE 0 timer->nr 0-7
PARAM_VALUE 1 reg 6
PARAM_VALUE 2 value 774
BUF_SIZE 0 timer 16
BUF_SIZE 0 timer 16
CAPPED_DATA 0 timer->nr 1
DATA_SOURCE 0 timer r cs5535_mfgpt_alloc_timer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/watchdog/geodewdt.c geodewdt_probe() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->chip 2848377598165372928
PARAM_VALUE 0 timer->nr 0-7
PARAM_VALUE 1 reg 2
BUF_SIZE 0 timer 16
BUF_SIZE 0 timer 16
CAPPED_DATA 0 timer->nr 1
DATA_SOURCE 0 timer r cs5535_mfgpt_alloc_timer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/watchdog/geodewdt.c geodewdt_set_heartbeat() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 1 reg 6
PARAM_VALUE 2 value 0
NOCHECK_CALL

drivers/watchdog/geodewdt.c geodewdt_set_heartbeat() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->chip 4096-ptr_max
PARAM_VALUE 1 reg 2
PARAM_VALUE 2 value 500-65500
NOCHECK_CALL
USER_DATA 2 value 500-65500[c]

drivers/watchdog/geodewdt.c geodewdt_set_heartbeat() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->chip 4096-ptr_max
PARAM_VALUE 1 reg 4
PARAM_VALUE 2 value 0
NOCHECK_CALL

drivers/watchdog/geodewdt.c geodewdt_set_heartbeat() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->chip 4096-ptr_max
PARAM_VALUE 1 reg 6
PARAM_VALUE 2 value 32768
NOCHECK_CALL

drivers/clocksource/timer-cs5535.c cs5535_mfgpt_init() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 1 reg 6
PARAM_VALUE 2 value 772
BUF_SIZE 0 timer 16
BUF_SIZE 0 timer 16
NOCHECK_CALL

drivers/clocksource/timer-cs5535.c disable_timer() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 1 reg 6
PARAM_VALUE 2 value s16max
DATA_SOURCE 0 timer $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

drivers/clocksource/timer-cs5535.c mfgpt_tick() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->chip 4096-ptr_max
PARAM_VALUE 1 reg 4
PARAM_VALUE 2 value 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-cs5535.c mfgpt_tick() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->chip 4096-ptr_max
PARAM_VALUE 1 reg 6
PARAM_VALUE 2 value 49152
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/clocksource/timer-cs5535.c start_timer() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 1 reg 2
DATA_SOURCE 0 timer $0
DATA_SOURCE 2 value $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &tick_broadcast_lock

drivers/clocksource/timer-cs5535.c start_timer() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->chip 4096-ptr_max
PARAM_VALUE 1 reg 4
PARAM_VALUE 2 value 0
DATA_SOURCE 0 timer $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &tick_broadcast_lock

drivers/clocksource/timer-cs5535.c start_timer() -> cs5535_mfgpt_write()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->chip 4096-ptr_max
PARAM_VALUE 1 reg 6
PARAM_VALUE 2 value 49152
DATA_SOURCE 0 timer $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &tick_broadcast_lock