Symbol: VMCB_CACHE_TPR
usr/src/uts/intel/io/vmm/amd/svm.c
1006
svm_set_dirty(sc, vcpu, VMCB_CACHE_TPR);
usr/src/uts/intel/io/vmm/amd/svm.c
1688
svm_set_dirty(sc, vcpu, VMCB_CACHE_TPR);
usr/src/uts/intel/io/vmm/amd/svm.c
987
svm_set_dirty(sc, vcpu, VMCB_CACHE_TPR);