Symbol: VMCB_CACHE_SEG
sys/amd64/vmm/amd/svm.c
102
VMCB_CACHE_SEG | \
sys/amd64/vmm/amd/vmcb.c
350
svm_set_dirty(vcpu, VMCB_CACHE_SEG);
sys/amd64/vmm/amd/vmcb.c
417
svm_set_dirty(vcpu, VMCB_CACHE_SEG);