Index: /trunk/include/VBox/trpm.h
===================================================================
--- /trunk/include/VBox/trpm.h	(revision 415)
+++ /trunk/include/VBox/trpm.h	(revision 416)
@@ -453,8 +453,6 @@
  * Dispatches an interrupt that arrived while we were in the guest context.
  *
- * It's assumes we're invoked with interrupts disabled.
- * When this function returns, interrupts will be enabled.
- *
  * @param   pVM     The VM handle.
+ * @remark  Must be called with interrupts disabled.
  */
 TRPMR0DECL(void) TRPMR0DispatchHostInterrupt(PVM pVM);