Symbol: VMCB_CACHE_DT
sys/amd64/vmm/amd/svm.c
101
VMCB_CACHE_DT | \
sys/amd64/vmm/amd/vmcb.c
421
svm_set_dirty(vcpu, VMCB_CACHE_DT);