Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 tasks_frozen 0
PARAM_VALUE 2 target 0-235
CAPPED_DATA 2 target 1
DATA_SOURCE 0 cpu $0
DATA_SOURCE 2 target $1
FUZZY_MAX 2 target 235
HARD_MAX 2 target 235
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 target 0-235[c]
NO_OVERFLOW_SIMPLE 2 target
LOCK2 global &cpu_add_remove_lock

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

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-8192
PARAM_VALUE 1 tasks_frozen 1
PARAM_VALUE 2 target 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &cpu_add_remove_lock
LOCK2 global &system_transition_mutex
HALF_LOCKED2 global &device_hotplug_lock