Changeset 23167 in vbox for trunk

Timestamp:

Sep 21, 2009 8:35:19 AM (15 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

52586

Message:

Nothing to do if a TLB flush is already pending; the VCPU should have already been poked if it were active

File:

• trunk/src/VBox/VMM/VMMAll/HWACCMAll.cpp (modified) (1 diff)

trunk/src/VBox/VMM/VMMAll/HWACCMAll.cpp

@@ -163 +163 @@
         PVMCPU pVCpu = &pVM->aCpus[idCpu];
 
+        /* Nothing to do if a TLB flush is already pending; the VCPU should have already been poked if it were active */
+        if (VMCPU_FF_ISSET(pVCpu, VMCPU_FF_TLB_FLUSH))
+            continue;
+
         VMCPU_FF_SET(pVCpu, VMCPU_FF_TLB_FLUSH);
         if (idThisCpu == idCpu)