Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 41803)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 41804)
@@ -2201,5 +2201,5 @@
  * @param   pVM         Pointer to the VM.
  * @param   pVCpu       Pointer to the VMCPU.
- * @param   pCtx        Pointer the guest CPU context.
+ * @param   pCtx        Pointer to the guest CPU context.
  */
 DECLINLINE(int) VMXR0SaveGuestState(PVM pVM, PVMCPU pVCpu, PCPUMCTX pCtx)
Index: /trunk/src/VBox/VMM/include/EMHandleRCTmpl.h
===================================================================
--- /trunk/src/VBox/VMM/include/EMHandleRCTmpl.h	(revision 41803)
+++ /trunk/src/VBox/VMM/include/EMHandleRCTmpl.h	(revision 41804)
@@ -31,5 +31,5 @@
  * @param   pVCpu   Pointer to the VMCPU.
  * @param   rc      The return code.
- * @param   pCtx    The guest cpu context.
+ * @param   pCtx    Pointer to the guest CPU context.
  */
 #ifdef EMHANDLERC_WITH_PATM