Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/cpu/microcode/core.c __load_primary() -> wait_for_cpus()

Type Parameter Key Value
PARAM_VALUE 0 cnt 8305543070055055360
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/kernel/cpu/microcode/core.c load_secondary_wait() -> wait_for_cpus()

Type Parameter Key Value
PARAM_VALUE 0 cnt 8305543070055055360
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING