Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
cs |
4949217004054704128 |
| PARAM_VALUE |
0 |
cs->base |
0 |
| PARAM_VALUE |
0 |
cs->cs_last |
0 |
| PARAM_VALUE |
0 |
cs->disable |
0 |
| PARAM_VALUE |
0 |
cs->enable |
0 |
| PARAM_VALUE |
0 |
cs->freq_khz |
0-s32max |
| PARAM_VALUE |
0 |
cs->id |
0-6 |
| PARAM_VALUE |
0 |
cs->mark_unstable |
0 |
| PARAM_VALUE |
0 |
cs->mask |
u64max |
| PARAM_VALUE |
0 |
cs->max_idle_ns |
0-9223372036854775807 |
| PARAM_VALUE |
0 |
cs->max_raw_delta |
0-16140901064495857661 |
| PARAM_VALUE |
0 |
cs->maxadj |
0-s32max |
| PARAM_VALUE |
0 |
cs->mult |
0-s32max |
| PARAM_VALUE |
0 |
cs->name |
352550228426473472 |
| PARAM_VALUE |
0 |
cs->owner |
0 |
| PARAM_VALUE |
0 |
cs->rating |
10 |
| PARAM_VALUE |
0 |
cs->read |
7801558466883813376 |
| PARAM_VALUE |
0 |
cs->read_snapshot |
0 |
| PARAM_VALUE |
0 |
cs->resume |
0 |
| PARAM_VALUE |
0 |
cs->shift |
0-32 |
| PARAM_VALUE |
0 |
cs->suspend |
0 |
| PARAM_VALUE |
0 |
cs->tick_stable |
0 |
| PARAM_VALUE |
0 |
cs->vdso_clock_mode |
0-3 |
| PARAM_VALUE |
0 |
cs->wd_cpu |
0 |
| PARAM_VALUE |
0 |
cs->wd_last |
0 |
| DATA_SOURCE |
0 |
cs |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
flags |
|
| HALF_LOCKED2 |
|
global &watchdog_lock |
|
| HALF_LOCKED2 |
|
irq |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
cs |
4949217004054704128 |
| PARAM_VALUE |
0 |
cs->base |
0 |
| PARAM_VALUE |
0 |
cs->cs_last |
0 |
| PARAM_VALUE |
0 |
cs->disable |
0 |
| PARAM_VALUE |
0 |
cs->enable |
0 |
| PARAM_VALUE |
0 |
cs->freq_khz |
0-s32max |
| PARAM_VALUE |
0 |
cs->id |
0-6 |
| PARAM_VALUE |
0 |
cs->mark_unstable |
0 |
| PARAM_VALUE |
0 |
cs->mask |
u64max |
| PARAM_VALUE |
0 |
cs->max_idle_ns |
0-9223372036854775807 |
| PARAM_VALUE |
0 |
cs->max_raw_delta |
0-16140901064495857661 |
| PARAM_VALUE |
0 |
cs->maxadj |
0-s32max |
| PARAM_VALUE |
0 |
cs->mult |
0-s32max |
| PARAM_VALUE |
0 |
cs->name |
352550228426473472 |
| PARAM_VALUE |
0 |
cs->owner |
0 |
| PARAM_VALUE |
0 |
cs->rating |
10 |
| PARAM_VALUE |
0 |
cs->read |
7801558466883813376 |
| PARAM_VALUE |
0 |
cs->read_snapshot |
0 |
| PARAM_VALUE |
0 |
cs->resume |
0 |
| PARAM_VALUE |
0 |
cs->shift |
0-32 |
| PARAM_VALUE |
0 |
cs->suspend |
0 |
| PARAM_VALUE |
0 |
cs->tick_stable |
0 |
| PARAM_VALUE |
0 |
cs->vdso_clock_mode |
0-3 |
| PARAM_VALUE |
0 |
cs->wd_cpu |
0 |
| PARAM_VALUE |
0 |
cs->wd_last |
0 |
| DATA_SOURCE |
0 |
cs |
$0 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| HALF_LOCKED2 |
|
flags |
|
| HALF_LOCKED2 |
|
global &watchdog_lock |
|
| HALF_LOCKED2 |
|
irq |
|
