diff options
author | Olivier Deprez <olivier.deprez@arm.com> | 2020-12-11 21:25:58 +0100 |
---|---|---|
committer | Olivier Deprez <olivier.deprez@arm.com> | 2020-12-22 18:02:52 +0100 |
commit | 952988a0c8743c01241cf7b272deb918eecb0759 (patch) | |
tree | a646504ec4ab1c24d3d56774bce7f9c4bc01ca23 | |
parent | fffe76115343cb5776c61032a24542994961a21d (diff) | |
download | hafnium-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.c | 2 |
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); |