Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/timer_migration.c connect_old_root_work() -> tmigr_connect_old_root()

Type Parameter Key Value
PARAM_VALUE 0 hier 4096-ptr_max
PARAM_VALUE 0 hier->capacity 1024
PARAM_VALUE 1 cpu 0
PARAM_VALUE 3 activate 1
BUF_SIZE 2 old_root 16,24,32,88,104,108-1096
BUF_SIZE 2 old_root 16,24,32,88,104,108-1096
DATA_SOURCE 0 hier r __tmigr_get_hierarchy
DATA_SOURCE 1 cpu r debug_smp_processor_id
DATA_SOURCE 2 old_root $0
HALF_LOCKED2 &pool->lock

kernel/time/timer_migration.c tmigr_add_cpu() -> tmigr_connect_old_root()

Type Parameter Key Value
PARAM_VALUE 0 hier 4096-ptr_max
PARAM_VALUE 0 hier->capacity 1024
PARAM_VALUE 0 hier->cpumask->bits 4096-ptr_max
PARAM_VALUE 2 old_root 1-u64max
PARAM_VALUE 3 activate 1
BUF_SIZE 0 hier (-1),40-s32max
BUF_SIZE 0 hier (-1),40-s32max
DATA_SOURCE 0 hier r tmigr_get_hierarchy
DATA_SOURCE 1 cpu $0
STR_LEN 0 hier (-1),8-9,11-29,31-34,38
PARAM_COMPARE 0 hier->root != $2
PARAM_COMPARE 2 old_root != $0->root
BIT_INFO 1 cpu 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 hier->root->level
LOCK2 _T->lock
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

kernel/time/timer_migration.c tmigr_add_cpu() -> tmigr_connect_old_root()

Type Parameter Key Value
PARAM_VALUE 0 hier 4096-ptr_max
PARAM_VALUE 0 hier->capacity 1024
PARAM_VALUE 0 hier->cpumask->bits 4096-ptr_max
PARAM_VALUE 2 old_root 1-u64max
PARAM_VALUE 3 activate 0
BUF_SIZE 0 hier (-1),40-s32max
BUF_SIZE 0 hier (-1),40-s32max
DATA_SOURCE 0 hier r tmigr_get_hierarchy
DATA_SOURCE 1 cpu $0
STR_LEN 0 hier (-1),8-9,11-29,31-34,38
PARAM_COMPARE 0 hier->root != $2
PARAM_COMPARE 2 old_root != $0->root
BIT_INFO 1 cpu 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 hier->root->level
LOCK2 _T->lock
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq