@@ -773,7 +773,7 @@ static void vmsvga_fifo_run(struct vmsvga_state_s *s)
vmsvga_fifo_read(s);
}
if (!cmd_ignored) {
- printf("%s: Unknown command 0x%02x in SVGA command FIFO\n",
+ printf("%s: Unknown command %d in SVGA command FIFO\n",
__func__, cmd);
}
break;
@@ -964,7 +964,7 @@ static uint32_t vmsvga_value_read(void *opaque, uint32_t address)
ret = s->scratch[s->index - SVGA_SCRATCH_BASE];
break;
}
- printf("%s: Bad register %02x\n", __func__, s->index);
+ printf("%s: Bad register %d\n", __func__, s->index);
ret = 0;
break;
}
@@ -1092,7 +1092,7 @@ static void vmsvga_value_write(void *opaque, uint32_t address, uint32_t value)
s->scratch[s->index - SVGA_SCRATCH_BASE] = value;
break;
}
- printf("%s: Bad register %02x\n", __func__, s->index);
+ printf("%s: Bad register %d\n", __func__, s->index);
}
}