Symbol: VMCB_CACHE_DR
sys/amd64/vmm/amd/svm.c
100
VMCB_CACHE_DR | \
sys/amd64/vmm/amd/vmcb.c
306
svm_set_dirty(vcpu, VMCB_CACHE_DR);
sys/amd64/vmm/amd/vmcb.c
311
svm_set_dirty(vcpu, VMCB_CACHE_DR);