Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/time/clocksource.c watchdog_check_skew() -> watchdog_wait_seq()
| 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,5-6 |
| PARAM_VALUE | 0 | wd->timeout_ns | 0-500000 |
| PARAM_VALUE | 2 | seq | 2-9 |
| DATA_SOURCE | 0 | wd | $0 |
| DATA_SOURCE | 1 | start | r ktime_get_raw_fast_ns |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &watchdog_lock | ||
| HALF_LOCKED2 | irq |