Index: /trunk/src/VBox/Devices/Bus/DevIommuAmd.cpp
===================================================================
--- /trunk/src/VBox/Devices/Bus/DevIommuAmd.cpp	(revision 84170)
+++ /trunk/src/VBox/Devices/Bus/DevIommuAmd.cpp	(revision 84171)
@@ -3772,6 +3772,4 @@
         }
     }
-
-
 }
 
@@ -3879,4 +3877,5 @@
  * @param   fAccess     The access permissions (IOMMU_IO_PERM_XXX). This is the
  *                      permissions for the access being made.
+ * @param   pDte        The device table entry.
  * @param   enmOp       The IOMMU operation being performed.
  * @param   pGCPhysSpa  Where to store the system physical address.