Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/build_utility.c update_top_cache_domain() -> highest_flag_domain()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-64
PARAM_VALUE 1 flag 512
CAPPED_DATA 0 cpu 1
DATA_SOURCE 0 cpu $0
CONSTRAINT 0 cpu <3035
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &sched_domains_mutex
LOCK2 rcu_read

kernel/sched/build_utility.c update_top_cache_domain() -> highest_flag_domain()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-64
PARAM_VALUE 1 flag 2048
CAPPED_DATA 0 cpu 1
DATA_SOURCE 0 cpu $0
CONSTRAINT 0 cpu <3035
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &sched_domains_mutex
LOCK2 rcu_read