Index: /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 19790)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllBth.h	(revision 19791)
@@ -920,4 +920,7 @@
  *          isn't required by the CPU, so this is speculative and could cause
  *          trouble.
+ * @remark  No TLB shootdown is done on any other VCPU as we assume that
+ *          invlpg emulation is the *only* reason for calling this function.
+ *          Currently true, but keep in mind!
  *
  * @todo    Flush page or page directory only if necessary!