Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 1 fn 4419098969588518912
PARAM_VALUE 2 arg 4825904087703027712,6432102216311144448
PARAM_VALUE 3 done 5623778042135068672
PARAM_VALUE 3 done->completion.wait.lock.magic 3735899821
PARAM_VALUE 3 done->completion.wait.lock.owner (-1)
PARAM_VALUE 3 done->completion.wait.lock.owner_cpu u32max
PARAM_VALUE 3 done->completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 3 done->completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 3 done->ret 0
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
MEM_ZERO 3 done
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &stop_cpus_mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &ifs_sem

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

Type Parameter Key Value
PARAM_VALUE 0 cpumask 4934086847903207424
PARAM_VALUE 1 fn 4419098969588518912
PARAM_VALUE 2 arg 4838165034212028416
PARAM_VALUE 3 done 4482979307470069760
PARAM_VALUE 3 done->completion.wait.lock.magic 3735899821
PARAM_VALUE 3 done->completion.wait.lock.owner (-1)
PARAM_VALUE 3 done->completion.wait.lock.owner_cpu u32max
PARAM_VALUE 3 done->completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 3 done->completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 3 done->ret 0
BUF_SIZE 2 arg 40
MEM_ZERO 3 done
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &stop_cpus_mutex
HALF_LOCKED2 global &cpuhp_state_mutex
HALF_LOCKED2 irq