Fix vmid displayed as hex on stage-2 page fault
Follow up to f92e5d477d9711, fix the VMID id as hex when
reporting a Stage-2 page fault.
Change-Id: Ic573d24acb3c2942eb0cc5ee5aaef04fd4d24a43
Signed-off-by: Olivier Deprez <olivier.deprez@arm.com>
diff --git a/src/vcpu.c b/src/vcpu.c
index 1e4d777..15a6c85 100644
--- a/src/vcpu.c
+++ b/src/vcpu.c
@@ -173,7 +173,7 @@
if (!resume) {
dlog_warning(
- "Stage-2 page fault: pc=%#x, vmid=%u, vcpu=%u, "
+ "Stage-2 page fault: pc=%#x, vmid=%#x, vcpu=%u, "
"vaddr=%#x, ipaddr=%#x, mode=%#x\n",
f->pc, vm->id, vcpu_index(current), f->vaddr, f->ipaddr,
f->mode);