Changeset 66408 in vbox for trunk/src/VBox/ValidationKit

Timestamp:

Apr 3, 2017 3:47:11 PM (8 years ago)

Author:

vboxsync

Message:

bs3-cpu-generated-1: fix

File:

• trunk/src/VBox/ValidationKit/bootsectors/bs3-cpu-generated-1-template.c (modified) (1 diff)

trunk/src/VBox/ValidationKit/bootsectors/bs3-cpu-generated-1-template.c

@@ -2715 +2715 @@
                 CHECK_FIELD(x87.FTW, "FTW: %#06x, expected %#06x");
                 //CHECK_FIELD(x87.FOP,      "FOP: %#06x, expected %#06x");
-                //CHECK_FIELD(x87.FPUIP,    "FPUIP:  %#010x, expected %#010x");
+                //CHECK_FIELD(x87.FPUIP,    "FPUIP:  %#010RX32, expected %#010RX32");
                 //CHECK_FIELD(x87.CS,       "FPUCS:  %#06x, expected %#06x");
                 //CHECK_FIELD(x87.Rsrvd1,   "Rsrvd1: %#06x, expected %#06x");
-                //CHECK_FIELD(x87.DP,       "FPUDP:  %#010x, expected %#010x");
+                //CHECK_FIELD(x87.DP,       "FPUDP:  %#010RX32, expected %#010RX32");
                 //CHECK_FIELD(x87.DS,       "FPUDS:  %#06x, expected %#06x");
                 //CHECK_FIELD(x87.Rsrvd2,   "Rsrvd2: %#06x, expected %#06x");
-                CHECK_FIELD(x87.MXCSR,      "MXCSR:  %#010x, expected %#010x");
+                CHECK_FIELD(x87.MXCSR,      "MXCSR:  %#010RX32, expected %#010RX32");
 #undef CHECK_FIELD
                 for (i = 0; i < RT_ELEMENTS(pExpect->Ctx.x87.aRegs); i++)