diff --git a/src/vbox/vbox_common.c b/src/vbox/vbox_common.c
index 56d80a35c4c6ac0e10a84827e8bbb7a1508fd67d..718a2f874951210735cd2b3df581942b7643a387 100644
--- a/src/vbox/vbox_common.c
+++ b/src/vbox/vbox_common.c
@@ -145,12 +145,13 @@ static bool vboxGetMaxPortSlotValues(IVirtualBox *vbox,
  *
  */
 static bool vboxGetDeviceDetails(const char *deviceName,
-                                 PRUint32   *aMaxPortPerInst,
-                                 PRUint32   *aMaxSlotPerPort,
-                                 PRUint32    storageBus,
-                                 PRInt32    *deviceInst,
-                                 PRInt32    *devicePort,
-                                 PRInt32    *deviceSlot) {
+                                 PRUint32 *aMaxPortPerInst,
+                                 PRUint32 *aMaxSlotPerPort,
+                                 PRUint32 storageBus,
+                                 PRInt32 *deviceInst,
+                                 PRInt32 *devicePort,
+                                 PRInt32 *deviceSlot)
+{
     int total = 0;
     PRUint32 maxPortPerInst = 0;
     PRUint32 maxSlotPerPort = 0;
@@ -204,10 +205,10 @@ static bool vboxGetDeviceDetails(const char *deviceName,
  * @param       aMaxSlotPerPort Input array of max slot per device port
  *
  */
-static char *vboxGenerateMediumName(PRUint32  storageBus,
-                                    PRInt32   deviceInst,
-                                    PRInt32   devicePort,
-                                    PRInt32   deviceSlot,
+static char *vboxGenerateMediumName(PRUint32 storageBus,
+                                    PRInt32 deviceInst,
+                                    PRInt32 devicePort,
+                                    PRInt32 deviceSlot,
                                     PRUint32 *aMaxPortPerInst,
                                     PRUint32 *aMaxSlotPerPort)
 {
diff --git a/src/vbox/vbox_tmpl.c b/src/vbox/vbox_tmpl.c
index 8816b130308a6e18dc9bf4a6d0fd67b84fb7bda5..ef536946970e9297bc956accadff7d94c90d4d34 100644
--- a/src/vbox/vbox_tmpl.c
+++ b/src/vbox/vbox_tmpl.c
@@ -621,12 +621,13 @@ _vboxIIDFromArrayItem(vboxGlobalData *data, vboxIIDUnion *iidu,
 # if VBOX_API_VERSION < 4000000
 /* Only 3.x will use this function. */
 static bool vboxGetDeviceDetails(const char *deviceName,
-                                 PRUint32   *aMaxPortPerInst,
-                                 PRUint32   *aMaxSlotPerPort,
-                                 PRUint32    storageBus,
-                                 PRInt32    *deviceInst,
-                                 PRInt32    *devicePort,
-                                 PRInt32    *deviceSlot) {
+                                 PRUint32 *aMaxPortPerInst,
+                                 PRUint32 *aMaxSlotPerPort,
+                                 PRUint32 storageBus,
+                                 PRInt32 *deviceInst,
+                                 PRInt32 *devicePort,
+                                 PRInt32 *deviceSlot)
+{
     int total = 0;
     PRUint32 maxPortPerInst = 0;
     PRUint32 maxSlotPerPort = 0;