Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/kvm_onhyperv.c hv_remote_flush_root_tdp() -> hyperv_flush_guest_mapping_range()

Type Parameter Key Value
PARAM_VALUE 0 as 0-18446744073709551614
PARAM_VALUE 1 fill_flush_list_func 8696444183601577984
PARAM_VALUE 2 data 8508623903354605568
DATA_SOURCE 0 as $0
DATA_SOURCE 2 data $1
PREEMPT_ADD
LOCK2 &kvm_arch->hv_root_tdp_lock
TYPE_LOCK (struct kvm_arch)->hv_root_tdp_lock