Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/clocksource.c watchdog_check_skew() -> watchdog_set_result()

Type Parameter Key Value
PARAM_VALUE 0 wd 4096-ptr_max
PARAM_VALUE 0 wd->cpu_ts 4096-ptr_max
PARAM_VALUE 0 wd->cs 4096-ptr_max
PARAM_VALUE 0 wd->cs->max_raw_delta 0-18446744073709551614
PARAM_VALUE 0 wd->result 0,5-6
PARAM_VALUE 0 wd->seq.counter 2-s32max
PARAM_VALUE 0 wd->timeout_ns 0-500000
PARAM_VALUE 1 result 6
DATA_SOURCE 0 wd $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &watchdog_lock
HALF_LOCKED2 irq

kernel/time/clocksource.c watchdog_wait_seq() -> watchdog_set_result()

Type Parameter Key Value
PARAM_VALUE 0 wd 4096-ptr_max
PARAM_VALUE 0 wd->cpu_ts 4096-ptr_max
PARAM_VALUE 0 wd->cs 4096-ptr_max
PARAM_VALUE 0 wd->result 0
PARAM_VALUE 0 wd->seq.counter s32min-8
PARAM_VALUE 0 wd->timeout_ns 0-500000
PARAM_VALUE 1 result 5
CAPPED_DATA 0 wd->timeout_ns 1
DATA_SOURCE 0 wd $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &watchdog_lock
HALF_LOCKED2 irq