Symbol: VMCB_CTRL_VMCB_CLEAN_TPR
sys/dev/nvmm/x86/nvmm_x86_svm.c
628
VMCB_CTRL_VMCB_CLEAN_TPR |
sys/dev/nvmm/x86/nvmm_x86_svm.c
649
VMCB_CTRL_VMCB_CLEAN_TPR);
sys/dev/nvmm/x86/nvmm_x86_svm.c
690
svm_vmcb_cache_flush(vmcb, VMCB_CTRL_VMCB_CLEAN_TPR);
sys/dev/nvmm/x86/nvmm_x86_svm.c
709
svm_vmcb_cache_flush(vmcb, VMCB_CTRL_VMCB_CLEAN_TPR);