Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-64
PARAM_VALUE 1 work 4096-ptr_max
PARAM_VALUE 1 work->arg 4825904087703027712,4838165034212028416,6432102216311144448
PARAM_VALUE 1 work->done 4482979307470069760,5623778042135068672
PARAM_VALUE 1 work->done->completion.wait.lock.magic 3735899821
PARAM_VALUE 1 work->done->completion.wait.lock.owner (-1)
PARAM_VALUE 1 work->done->completion.wait.lock.owner_cpu u32max
PARAM_VALUE 1 work->done->completion.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 work->done->completion.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 work->done->ret 0
PARAM_VALUE 1 work->fn 4419098969588518912
BUF_SIZE 1 work->arg 40
CAPPED_DATA 0 cpu 1
DATA_SOURCE 0 cpu r find_next_bit
CONSTRAINT 0 cpu <3035
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &stop_cpus_mutex

kernel/stop_machine.c stop_one_cpu() -> cpu_stop_queue_work()

Type Parameter Key Value
PARAM_VALUE 1 work 8693522549751238656
PARAM_VALUE 1 work->arg 1596698540030914560,5081735167610544128
PARAM_VALUE 1 work->done 8330653949680381952
PARAM_VALUE 1 work->fn 2081368796670291968
PARAM_VALUE 1 work->list.next 0
PARAM_VALUE 1 work->list.prev 0
DATA_SOURCE 0 cpu $0
RX_PATH
TASK_NOT_RUNNING

kernel/stop_machine.c stop_one_cpu_nowait() -> cpu_stop_queue_work()

Type Parameter Key Value
PARAM_VALUE 1 work 4096-ptr_max
DATA_SOURCE 0 cpu $0
DATA_SOURCE 1 work $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 rf.flags