Use # format specifier rather than manually writing 0x for hex numbers.
Change-Id: Ic3f98b33b34ce5ffe3300a5ca9c9c309ef2c056c
diff --git a/src/arch/aarch64/hypervisor/handler.c b/src/arch/aarch64/hypervisor/handler.c
index c8e2d90..4cf8118 100644
--- a/src/arch/aarch64/hypervisor/handler.c
+++ b/src/arch/aarch64/hypervisor/handler.c
@@ -198,10 +198,10 @@
switch (esr >> 26) {
case 0x25: /* EC = 100101, Data abort. */
- dlog("Data abort: pc=0x%x, esr=0x%x, ec=0x%x", elr, esr,
+ dlog("Data abort: pc=%#x, esr=%#x, ec=%#x", elr, esr,
esr >> 26);
if (!(esr & (1u << 10))) { /* Check FnV bit. */
- dlog(", far=0x%x", read_msr(far_el2));
+ dlog(", far=%#x", read_msr(far_el2));
} else {
dlog(", far=invalid");
}
@@ -210,8 +210,8 @@
break;
default:
- dlog("Unknown current sync exception pc=0x%x, esr=0x%x, "
- "ec=0x%x\n",
+ dlog("Unknown current sync exception pc=%#x, esr=%#x, "
+ "ec=%#x\n",
elr, esr, esr >> 26);
break;
}
@@ -477,7 +477,7 @@
if (!smc_handler(vcpu, vcpu->regs.r[0], vcpu->regs.r[1],
vcpu->regs.r[2], vcpu->regs.r[3], &ret,
&next)) {
- dlog("Unsupported SMC call: 0x%x\n", vcpu->regs.r[0]);
+ dlog("Unsupported SMC call: %#x\n", vcpu->regs.r[0]);
ret = PSCI_ERROR_NOT_SUPPORTED;
}
@@ -488,8 +488,8 @@
}
default:
- dlog("Unknown lower sync exception pc=0x%x, esr=0x%x, "
- "ec=0x%x\n",
+ dlog("Unknown lower sync exception pc=%#x, esr=%#x, "
+ "ec=%#x\n",
vcpu->regs.pc, esr, esr >> 26);
break;
}