Symbol: VMCB_CACHE_I
sys/amd64/vmm/amd/svm.c
303
svm_set_dirty(vcpu, VMCB_CACHE_I);
sys/amd64/vmm/amd/svm.c
446
svm_set_dirty(vcpu, VMCB_CACHE_I);
sys/amd64/vmm/amd/svm.c
96
VMCB_CACHE_I | \