Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/time/timer_migration.c __tmigr_cpu_activate() -> walk_groups()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | up | 4491834930530033664 |
| PARAM_VALUE | 1 | data | 2070164608202117120 |
| PARAM_VALUE | 2 | tmc | 4096-ptr_max |
| PARAM_VALUE | 2 | tmc->cpuevt.ignore | 1 |
| PARAM_VALUE | 2 | tmc->idle | 0 |
| PARAM_VALUE | 2 | tmc->tmgroup | 1-u64max |
| PARAM_VALUE | 2 | tmc->wakeup | 9223372036854775807 |
| DATA_SOURCE | 2 | tmc | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 2 | &tmc->lock |
kernel/time/timer_migration.c __tmigr_cpu_deactivate() -> walk_groups()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | up | 1818639763762728960 |
| PARAM_VALUE | 1 | data | 8791915296125681664 |
| PARAM_VALUE | 1 | data->basej | 0 |
| PARAM_VALUE | 1 | data->check | 0 |
| PARAM_VALUE | 1 | data->evt | 4096-ptr_max |
| PARAM_VALUE | 1 | data->firstexp | 9223372036854775807 |
| PARAM_VALUE | 1 | data->now | 0 |
| PARAM_VALUE | 1 | data->remote | 0 |
| PARAM_VALUE | 2 | tmc | 4096-ptr_max |
| DATA_SOURCE | 2 | tmc | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &base_global->lock | ||
| HALF_LOCKED2 | &base_local->lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 2 | &tmc->lock |
kernel/time/timer_migration.c tmigr_handle_remote_cpu() -> walk_groups()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | up | 7130159735131951104 |
| PARAM_VALUE | 1 | data | 7167951125029179392 |
| PARAM_VALUE | 1 | data->evt | 4096-ptr_max |
| PARAM_VALUE | 1 | data->firstexp | 9223372036854775807 |
| PARAM_VALUE | 1 | data->remote | 1 |
| PARAM_VALUE | 2 | tmc | 4096-ptr_max |
| PARAM_VALUE | 2 | tmc->available | 1 |
| PARAM_VALUE | 2 | tmc->cpuevt.ignore | 0 |
| PARAM_VALUE | 2 | tmc->idle | 1 |
| PARAM_VALUE | 2 | tmc->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | tmc->lock.owner_cpu | 0 |
| PARAM_VALUE | 2 | tmc->lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 2 | tmc->remote | 1 |
| PARAM_VALUE | 2 | tmc->wakeup | 9223372036854775807 |
| CAPPED_DATA | 2 | tmc->cpuevt.nextevt.expires | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | irq | ||
| LOCK2 | 2 | &tmc->lock | |
| TYPE_LOCK | (struct tmigr_cpu)->lock |
kernel/time/timer_migration.c tmigr_new_timer() -> walk_groups()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | up | 7130159735131951104 |
| PARAM_VALUE | 1 | data | 6297058054264696832 |
| PARAM_VALUE | 1 | data->basej | 0 |
| PARAM_VALUE | 1 | data->check | 0 |
| PARAM_VALUE | 1 | data->childmask | 0 |
| PARAM_VALUE | 1 | data->evt | 4096-ptr_max |
| PARAM_VALUE | 1 | data->firstexp | 9223372036854775807 |
| PARAM_VALUE | 1 | data->nextexp | 0-9223372036854775806,9223372036854775808-u64max |
| PARAM_VALUE | 1 | data->now | 0 |
| PARAM_VALUE | 1 | data->remote | 0 |
| PARAM_VALUE | 2 | tmc | 4096-ptr_max |
| PARAM_VALUE | 2 | tmc->available | 1 |
| PARAM_VALUE | 2 | tmc->cpuevt.ignore | 0 |
| PARAM_VALUE | 2 | tmc->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | tmc->lock.owner_cpu | 0 |
| PARAM_VALUE | 2 | tmc->lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 2 | tmc->remote | 0 |
| PARAM_VALUE | 2 | tmc->tmgroup | 1-u64max |
| DATA_SOURCE | 2 | tmc | $0 |
| PREEMPT_ADD | |||
| NOCHECK_CALL | |||
| LOCK2 | &base_global->lock | ||
| LOCK2 | &base_local->lock | ||
| LOCK2 | irq | ||
| LOCK2 | 2 | &tmc->lock | |
| TYPE_LOCK | (struct timer_base)->lock | ||
| TYPE_LOCK | (struct tmigr_cpu)->lock |