Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/stop_machine.c stop_cpus() -> __stop_cpus()

Type Parameter Key Value
PARAM_VALUE 1 fn 4419098969588518912
PARAM_VALUE 2 arg 4825904087703027712,6432102216311144448
BUF_SIZE 2 arg 40
BUF_SIZE 2 arg 40
DATA_SOURCE 0 cpumask $0
DATA_SOURCE 1 fn $1
DATA_SOURCE 2 arg $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &stop_cpus_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &ifs_sem