Index: /trunk/src/VBox/Devices/testcase/tstDeviceStructSize.cpp
===================================================================
--- /trunk/src/VBox/Devices/testcase/tstDeviceStructSize.cpp	(revision 71730)
+++ /trunk/src/VBox/Devices/testcase/tstDeviceStructSize.cpp	(revision 71731)
@@ -151,5 +151,5 @@
         { \
             printf("tstDeviceStructSize: Error! sizeof(%s): %#x (%d)  Size wrong by %d (should be %d -- but is %d)\n", \
-                   #type, (int)sizeof(type), (int)sizeof(type), (int)(sizeof(type) - size), (int)size, (int)sizeof(type)); \
+                   #type, (int)sizeof(type), (int)sizeof(type), (int)sizeof(type) - (int)size, (int)size, (int)sizeof(type)); \
             rc++; \
         } \
Index: /trunk/src/VBox/VMM/testcase/tstHelp.h
===================================================================
--- /trunk/src/VBox/VMM/testcase/tstHelp.h	(revision 71730)
+++ /trunk/src/VBox/VMM/testcase/tstHelp.h	(revision 71731)
@@ -55,5 +55,5 @@
         { \
             printf("error! sizeof(%s): %#x (%d)  Off by %d!! (expected %#x)\n", \
-                   #type, (int)sizeof(type), (int)sizeof(type), (int)(sizeof(type) - size), (int)size); \
+                   #type, (int)sizeof(type), (int)sizeof(type), (int)sizeof(type) - (int)size, (int)size); \
             rc++; \
         } \