Use # format specifier rather than manually writing 0x for hex numbers.
Change-Id: Ic3f98b33b34ce5ffe3300a5ca9c9c309ef2c056c
diff --git a/src/arch/aarch64/hypervisor/psci_handler.c b/src/arch/aarch64/hypervisor/psci_handler.c
index b98dd22..5f5f211 100644
--- a/src/arch/aarch64/hypervisor/psci_handler.c
+++ b/src/arch/aarch64/hypervisor/psci_handler.c
@@ -45,12 +45,12 @@
case PSCI_VERSION_1_0:
case PSCI_VERSION_1_1:
/* Supported EL3 PSCI version. */
- dlog("Found PSCI version: 0x%x\n", el3_psci_version);
+ dlog("Found PSCI version: %#x\n", el3_psci_version);
break;
default:
/* Unsupported EL3 PSCI version. Log a warning but continue. */
- dlog("Warning: unknown PSCI version: 0x%x\n", el3_psci_version);
+ dlog("Warning: unknown PSCI version: %#x\n", el3_psci_version);
el3_psci_version = 0;
break;
}