Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/cpu.c _cpu_down() -> arch_smt_update()

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

kernel/cpu.c _cpu_up() -> arch_smt_update()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &cpu_add_remove_lock
HALF_LOCKED2 global &device_hotplug_lock
HALF_LOCKED2 global &system_transition_mutex

arch/x86/kernel/cpu/common.c arch_cpu_finalize_init() -> arch_smt_update()

Type Parameter Key Value
NOCHECK_CALL