Defined in 1 files as a prototype:

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/mmu/mmu.c kvm_handle_page_fault() -> kvm_async_pf_task_wait_schedule()

Type Parameter Key Value
DATA_SOURCE 0 token $2
NOCHECK_CALL
UNITS 0 token unit_byte
LOCK2 irq

arch/x86/kernel/kvm.c __kvm_handle_async_pf() -> kvm_async_pf_task_wait_schedule()

Type Parameter Key Value
DATA_SOURCE 0 token $1
PREEMPT_ADD
NOCHECK_CALL