commit | ac5b26130cbbd0dfd111494505c322d435b3db79 | [log] [tgz] |
---|---|---|
author | Andrew Walbran <qwandor@google.com> | Fri Jul 12 16:44:19 2019 +0100 |
committer | Andrew Walbran <qwandor@google.com> | Fri Jul 12 16:44:19 2019 +0100 |
tree | 13077f32cfc70412c68752e0190b1b2fc697eb82 | |
parent | 58954f94f860876c04f4c2b4ae1aca6d19639652 [diff] [blame] |
Use # format specifier rather than manually writing 0x for hex numbers. Change-Id: Ic3f98b33b34ce5ffe3300a5ca9c9c309ef2c056c
diff --git a/src/load.c b/src/load.c index 78b5777..602cfa8 100644 --- a/src/load.c +++ b/src/load.c
@@ -347,7 +347,7 @@ return false; } - dlog("Loaded with %u vcpus, entry at 0x%x\n", cpu, + dlog("Loaded with %u vcpus, entry at %#x\n", cpu, pa_addr(secondary_mem_begin)); vcpu = vm_get_vcpu(vm, 0);