Symbol: VMCB_CACHE_ASID
usr/src/uts/intel/io/vmm/amd/svm.c
1781
svm_set_dirty(sc, vcpuid, VMCB_CACHE_ASID);
usr/src/uts/intel/io/vmm/amd/svm.c
1803
svm_set_dirty(sc, vcpuid, VMCB_CACHE_ASID);