Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/stop_machine.c stop_machine_from_inactive_cpu() -> multi_cpu_stop()

Type Parameter Key Value
PARAM_VALUE 0 data 4838165034212028416
BUF_SIZE 0 data 40
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &stop_cpus_mutex
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq

kernel/stop_machine.c cpu_stopper_thread() -> cpu_stopper_thread ptr fn()

Type Parameter Key Value
BUF_SIZE 0 data 24,40
BUF_SIZE 0 data 24,40
CONTAINER 0 *(-16+32) $(-1)