Symbol: svm_vmcb_cache_flush
sys/dev/nvmm/x86/nvmm_x86_svm.c
1286
svm_vmcb_cache_flush(vmcb, VMCB_CTRL_VMCB_CLEAN_CR);
sys/dev/nvmm/x86/nvmm_x86_svm.c
1744
svm_vmcb_cache_flush(vmcb, VMCB_CTRL_VMCB_CLEAN_I);
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
694
svm_vmcb_cache_flush(vmcb, VMCB_CTRL_VMCB_CLEAN_I);
sys/dev/nvmm/x86/nvmm_x86_svm.c
709
svm_vmcb_cache_flush(vmcb, VMCB_CTRL_VMCB_CLEAN_TPR);
sys/dev/nvmm/x86/nvmm_x86_svm.c
713
svm_vmcb_cache_flush(vmcb, VMCB_CTRL_VMCB_CLEAN_I);