Defined in 2 files as a function:
- arch/x86/kvm/svm/svm_onhyperv.h, line 26 (as a function)
- arch/x86/kvm/svm/svm_onhyperv.h, line 68 (as a function)
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/svm/svm.c init_vmcb() -> svm_hv_init_vmcb()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vmcb | 18379471554275704832,18446612682070032384 |
| NOCHECK_CALL |