Symbol: VMCB_CTRL_VMCB_CLEAN_I
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
625
VMCB_CTRL_VMCB_CLEAN_I |
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
713
svm_vmcb_cache_flush(vmcb, VMCB_CTRL_VMCB_CLEAN_I);