Defined in 1 files as a prototype:
Defined in 2 files as a function:
- arch/x86/hyperv/nested.c, line 21 (as a function)
- arch/x86/include/asm/mshyperv.h, line 261 (as a function)
Referenced in 3 files:
- arch/x86/hyperv/nested.c, line 54
- arch/x86/kvm/kvm_onhyperv.c, line 34
- arch/x86/kvm/svm/svm.c, line 4221
Smatch caller information:
arch/x86/kvm/kvm_onhyperv.c hv_remote_flush_root_tdp() -> hyperv_flush_guest_mapping()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | as | 0-18446744073709551614 |
| DATA_SOURCE | 0 | as | $0 |
| PREEMPT_ADD | |||
| LOCK2 | &kvm_arch->hv_root_tdp_lock | ||
| TYPE_LOCK | (struct kvm_arch)->hv_root_tdp_lock |
arch/x86/kvm/svm/svm.c svm_flush_tlb_current() -> hyperv_flush_guest_mapping()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | as | 0-18446744073709551614 |
| NOCHECK_CALL |