Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/kvm.c apf_task_wake_all() -> apf_task_wake_one()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->cpu 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &b->lock
TYPE_LOCK (struct kvm_task_sleep_head)->lock

arch/x86/kernel/kvm.c kvm_async_pf_task_wake() -> apf_task_wake_one()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->token 0
DATA_SOURCE 0 n r _find_apf_task
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 &b->lock
TYPE_LOCK (struct kvm_task_sleep_head)->lock