Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/time/timer_migration.c tmigr_handle_remote() -> __walk_groups()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | up | 7077782766845042688 |
| PARAM_VALUE | 1 | data | 6477525992928616448 |
| PARAM_VALUE | 1 | data->firstexp | 9223372036854775807 |
| PARAM_VALUE | 2 | tmc | 4096-ptr_max |
| PARAM_VALUE | 2 | tmc->available | 1 |
| PARAM_VALUE | 2 | tmc->tmgroup | 4096-ptr_max |
| NOCHECK_CALL |
kernel/time/timer_migration.c tmigr_requires_handle_remote() -> __walk_groups()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | up | 8289067495499517952 |
| PARAM_VALUE | 1 | data | 2183523199000109056 |
| PARAM_VALUE | 1 | data->check | 0 |
| PARAM_VALUE | 1 | data->firstexp | 9223372036854775807 |
| PARAM_VALUE | 2 | tmc | 4096-ptr_max |
| PARAM_VALUE | 2 | tmc->available | 1 |
| PARAM_VALUE | 2 | tmc->idle | 0 |
| PARAM_VALUE | 2 | tmc->tmgroup | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
kernel/time/timer_migration.c walk_groups() -> __walk_groups()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | up | 1818639763762728960,4491834930530033664,7130159735131951104 |
| PARAM_VALUE | 1 | data | 2070164608202117120,6297058054264696832,7167951125029179392,8791915296125681664 |
| PARAM_VALUE | 2 | tmc | 4096-ptr_max |
| DATA_SOURCE | 0 | up | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | tmc | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &base_global->lock | ||
| HALF_LOCKED2 | &base_local->lock | ||
| HALF_LOCKED2 | 2 | &tmc->lock |