Symbol: VMCB_CACHE_DEFAULT
sys/amd64/vmm/amd/svm.c
105
static uint32_t vmcb_clean = VMCB_CACHE_DEFAULT;
sys/amd64/vmm/amd/svm.c
259
vmcb_clean &= VMCB_CACHE_DEFAULT;