Use # format specifier rather than manually writing 0x for hex numbers.
Change-Id: Ic3f98b33b34ce5ffe3300a5ca9c9c309ef2c056c
diff --git a/src/cpu.c b/src/cpu.c
index 9b44d97..8f12b7e 100644
--- a/src/cpu.c
+++ b/src/cpu.c
@@ -289,8 +289,8 @@
sl_unlock(&vm->lock);
if (!resume) {
- dlog("Stage-2 page fault: pc=0x%x, vmid=%u, vcpu=%u, "
- "vaddr=0x%x, ipaddr=0x%x, mode=0x%x\n",
+ dlog("Stage-2 page fault: pc=%#x, vmid=%u, vcpu=%u, "
+ "vaddr=%#x, ipaddr=%#x, mode=%#x\n",
f->pc, vm->id, vcpu_index(current), f->vaddr, f->ipaddr,
f->mode);
}