aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOlivier Deprez <olivier.deprez@arm.com>2020-12-11 21:25:58 +0100
committerOlivier Deprez <olivier.deprez@arm.com>2020-12-22 18:02:52 +0100
commit952988a0c8743c01241cf7b272deb918eecb0759 (patch)
treea646504ec4ab1c24d3d56774bce7f9c4bc01ca23
parentfffe76115343cb5776c61032a24542994961a21d (diff)
downloadhafnium-952988a0c8743c01241cf7b272deb918eecb0759.tar.gz
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>
-rw-r--r--src/vcpu.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/vcpu.c b/src/vcpu.c
index 1e4d77789..15a6c85da 100644
--- a/src/vcpu.c
+++ b/src/vcpu.c
@@ -173,7 +173,7 @@ bool vcpu_handle_page_fault(const struct vcpu *current,
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);