" values did not match: 0x%llx, 0x%llx\n", \
                    left->reg, right->reg)
 
+#define REG_COMPARE32(reg) \
+       TEST_ASSERT(left->reg == right->reg, \
+                   "Register " #reg \
+                   " values did not match: 0x%x, 0x%x\n", \
+                   left->reg, right->reg)
+
+
 static void compare_regs(struct kvm_regs *left, struct kvm_sync_regs *right)
 {
        int i;
        int i;
 
        for (i = 0; i < 16; i++)
-               REG_COMPARE(acrs[i]);
+               REG_COMPARE32(acrs[i]);
 
        for (i = 0; i < 16; i++)
                REG_COMPARE(crs[i]);
                    "r11 sync regs value incorrect 0x%llx.",
                    run->s.regs.gprs[11]);
        TEST_ASSERT(run->s.regs.acrs[0]  == 1 << 11,
-                   "acr0 sync regs value incorrect 0x%llx.",
+                   "acr0 sync regs value incorrect 0x%x.",
                    run->s.regs.acrs[0]);
 
        vcpu_regs_get(vm, VCPU_ID, ®s);