Index: /trunk/src/VBox/Devices/Network/lwip/src/core/pbuf.c
===================================================================
--- /trunk/src/VBox/Devices/Network/lwip/src/core/pbuf.c	(revision 42427)
+++ /trunk/src/VBox/Devices/Network/lwip/src/core/pbuf.c	(revision 42428)
@@ -483,5 +483,5 @@
       LWIP_DEBUGF( PBUF_DEBUG | 2, ("pbuf_header: failed as %p < %p (not enough space for new header size)\n",
         (void *)p->payload,
-        (void *)(p + 1)));\
+        (void *)(p + 1)));
       /* restore old payload pointer */
       p->payload = payload;
Index: /trunk/src/VBox/Main/src-client/UsbCardReader.cpp
===================================================================
--- /trunk/src/VBox/Main/src-client/UsbCardReader.cpp	(revision 42427)
+++ /trunk/src/VBox/Main/src-client/UsbCardReader.cpp	(revision 42428)
@@ -339,7 +339,7 @@
 }
 
-static DECLCALLBACK(int)drvCardReaderDownDisconnect(PPDMICARDREADERDOWN pInterface,
-                                                    void *pvUser,
-                                                    uint32_t u32Disposition)
+static DECLCALLBACK(int) drvCardReaderDownDisconnect(PPDMICARDREADERDOWN pInterface,
+                                                     void *pvUser,
+                                                     uint32_t u32Disposition)
 {
     AssertPtrReturn(pInterface, VERR_INVALID_PARAMETER);
@@ -390,8 +390,8 @@
 }
 
-static DECLCALLBACK(int)drvCardReaderDownStatus(PPDMICARDREADERDOWN pInterface,
-                                                void *pvUser,
-                                                uint32_t cchReaderName,
-                                                uint32_t cbAtrLen)
+static DECLCALLBACK(int) drvCardReaderDownStatus(PPDMICARDREADERDOWN pInterface,
+                                                 void *pvUser,
+                                                 uint32_t cchReaderName,
+                                                 uint32_t cbAtrLen)
 {
     AssertPtrReturn(pInterface, VERR_INVALID_PARAMETER);
@@ -1827,5 +1827,5 @@
  */
 
-/* static */ DECLCALLBACK(void *)UsbCardReader::drvQueryInterface(PPDMIBASE pInterface, const char *pszIID)
+/* static */ DECLCALLBACK(void *) UsbCardReader::drvQueryInterface(PPDMIBASE pInterface, const char *pszIID)
 {
     LogFlowFunc(("pInterface:%p, pszIID:%s\n", pInterface, pszIID));