Index: /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 54101)
+++ /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 54102)
@@ -1778,7 +1778,7 @@
 
 /**
- * Loads the guest state into the VMCB. The CPU state will be loaded from these
- * fields on every successful VM-entry.
- *
+ * Loads the guest state into the VMCB.
+ *
+ * The CPU state will be loaded from these fields on every successful VM-entry.
  * Also sets up the appropriate VMRUN function to execute guest code based on
  * the guest CPU mode.
@@ -3971,7 +3971,9 @@
 
 /**
- * Determines if an exception is a contributory exception. Contributory
- * exceptions are ones which can cause double-faults. Page-fault is
- * intentionally not included here as it's a conditional contributory exception.
+ * Determines if an exception is a contributory exception.
+ *
+ * Contributory exceptions are ones which can cause double-faults unless the
+ * original exception was a benign exception. Page-fault is intentionally not
+ * included here as it's a conditional contributory exception.
  *
  * @returns true if the exception is contributory, false otherwise.
Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 54101)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 54102)
@@ -4689,10 +4689,10 @@
 /**
  * Loads certain guest MSRs into the VM-entry MSR-load and VM-exit MSR-store
- * areas. These MSRs will automatically be loaded to the host CPU on every
- * successful VM-entry and stored from the host CPU on every successful VM-exit.
- *
- * This also creates/updates MSR slots for the host MSRs. The actual host
- * MSR values are -not- updated here for performance reasons. See
- * hmR0VmxSaveHostMsrs().
+ * areas.
+ *
+ * These MSRs will automatically be loaded to the host CPU on every successful
+ * VM-entry and stored from the host CPU on every successful VM-exit. This also
+ * creates/updates MSR slots for the host MSRs. The actual host MSR values are
+ * -not- updated here for performance reasons. See hmR0VmxSaveHostMsrs().
  *
  * Also loads the sysenter MSRs into the guest-state area in the VMCS.
@@ -5323,8 +5323,10 @@
 
 /**
- * Initialize the VMCS-Read cache. The VMCS cache is used for 32-bit hosts
- * running 64-bit guests (except 32-bit Darwin which runs with 64-bit paging in
- * 32-bit mode) for 64-bit fields that cannot be accessed in 32-bit mode. Some
- * 64-bit fields -can- be accessed (those that have a 32-bit FULL & HIGH part).
+ * Initialize the VMCS-Read cache.
+ *
+ * The VMCS cache is used for 32-bit hosts running 64-bit guests (except 32-bit
+ * Darwin which runs with 64-bit paging in 32-bit mode) for 64-bit fields that
+ * cannot be accessed in 32-bit mode. Some 64-bit fields -can- be accessed
+ * (those that have a 32-bit FULL & HIGH part).
  *
  * @returns VBox status code.
@@ -5516,6 +5518,6 @@
 
 /**
- * Queue up a VMWRITE by using the VMCS write cache. This is only used on 32-bit
- * hosts (except darwin) for 64-bit guests.
+ * Queue up a VMWRITE by using the VMCS write cache.
+ * This is only used on 32-bit hosts (except darwin) for 64-bit guests.
  *
  * @param   pVCpu       Pointer to the VMCPU.
@@ -5591,7 +5593,8 @@
 
 /**
- * Sets up the usage of TSC-offsetting and updates the VMCS. If offsetting is
- * not possible, cause VM-exits on RDTSC(P)s. Also sets up the VMX preemption
- * timer.
+ * Sets up the usage of TSC-offsetting and updates the VMCS.
+ *
+ * If offsetting is not possible, cause VM-exits on RDTSC(P)s. Also sets up the
+ * VMX preemption timer.
  *
  * @returns VBox status code.