Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/timer_migration.c __walk_groups() -> __walk_groups_from()

Type Parameter Key Value
PARAM_VALUE 0 up 1818639763762728960,4491834930530033664,7077782766845042688,7130159735131951104,8289067495499517952
PARAM_VALUE 1 data 2070164608202117120,2183523199000109056,6297058054264696832,6477525992928616448,7167951125029179392,8791915296125681664
PARAM_VALUE 2 child 0
DATA_SOURCE 0 up $0
DATA_SOURCE 1 data $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 irq

kernel/time/timer_migration.c tmigr_setup_groups() -> __walk_groups_from()

Type Parameter Key Value
PARAM_VALUE 1 data 5850562614343155712
PARAM_VALUE 2 child 4096-ptr_max
PARAM_VALUE 2 child->migr_state.counter 0-s32max
BUF_SIZE 2 child (-1),16,24,32,88,104,108-1096,1616
BUF_SIZE 2 child (-1),16,24,32,88,104,108-1096,1616
DATA_SOURCE 2 child $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock