Symbol: VMCB_TLB_FLUSH_NOTHING
usr/src/uts/intel/io/vmm/amd/svm.c
1779
if (flush != VMCB_TLB_FLUSH_NOTHING) {
usr/src/uts/intel/io/vmm/amd/svm.c
1800
ASSERT(flush != VMCB_TLB_FLUSH_NOTHING);