This indicates that the specified register values are being output in hex.
Signed-off-by: Mark Cave-Ayland <[email protected]>
Reviewed-by: Peter Maydell <[email protected]>
---
hw/intc/i8259_common.c | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/hw/intc/i8259_common.c b/hw/intc/i8259_common.c
index 3bafd81ea7..ee325a659a 100644
--- a/hw/intc/i8259_common.c
+++ b/hw/intc/i8259_common.c
@@ -119,8 +119,9 @@ static void i8259_common_print_info(InterruptStatsProvider
*obj, GString *buf)
I8259CommonState *cs = I8259_COMMON(obj);
i8259_common_dispatch_pre_save(cs);
- g_string_append_printf(buf, "pic%d: irr=%02x imr=%02x isr=%02x hprio=%d "
- "irq_base=%02x rr_sel=%d elcr=%02x fnm=%d\n",
+ g_string_append_printf(buf,
+ "pic%d: irr=0x%02x imr=0x%02x isr=0x%02x hprio=%d "
+ "irq_base=0x%02x rr_sel=%d elcr=0x%02x fnm=%d\n",
cs->master ? 0 : 1, cs->irr, cs->imr, cs->isr,
cs->priority_add,
cs->irq_base, cs->read_reg_select, cs->elcr,
--
2.43.0
