Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kernel/process.c stop_this_cpu() -> mcheck_cpu_clear()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
HALF_LOCKED2 rcu_read

arch/x86/kernel/smp.c native_stop_other_cpus() -> mcheck_cpu_clear()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 irq
HALF_LOCKED2 global &system_transition_mutex