Symbol: VMCB_CTRL_VMCB_CLEAN_CR
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
630
VMCB_CTRL_VMCB_CLEAN_CR |
sys/dev/nvmm/x86/nvmm_x86_svm.c
648
~(VMCB_CTRL_VMCB_CLEAN_CR | VMCB_CTRL_VMCB_CLEAN_CR2 |
sys/dev/nvmm/x86/nvmm_x86_svm.c
657
~(VMCB_CTRL_VMCB_CLEAN_CR | VMCB_CTRL_VMCB_CLEAN_NP);