Index: /trunk/src/VBox/VMM/VMMR0/PGMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/PGMR0.cpp	(revision 42403)
+++ /trunk/src/VBox/VMM/VMMR0/PGMR0.cpp	(revision 42404)
@@ -479,5 +479,8 @@
     if (rc == VINF_PGM_SYNCPAGE_MODIFIED_PDE)
         rc = VINF_SUCCESS;
-    /* Note: hack alert for difficult to reproduce problem. */
+    /*
+     * Handle the case where we cannot interpret the instruction because we cannot get the guest physical address
+     * via its page tables, see @bugref{6043}.
+     */
     else if (   rc == VERR_PAGE_NOT_PRESENT                 /* SMP only ; disassembly might fail. */
              || rc == VERR_PAGE_TABLE_NOT_PRESENT           /* seen with UNI & SMP */