Symbol: VMCB_CACHE_I
usr/src/uts/intel/io/vmm/amd/svm.c
1876
svm_set_dirty(svm_sc, vcpuid, VMCB_CACHE_I);
usr/src/uts/intel/io/vmm/amd/svm.c
273
svm_set_dirty(sc, vcpu, VMCB_CACHE_I);
usr/src/uts/intel/io/vmm/amd/svm.c
802
svm_set_dirty(svm_sc, vcpu, VMCB_CACHE_I);