diff options
author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2016-02-02 12:03:38 +0000 |
---|---|---|
committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2016-02-18 09:45:39 +0000 |
commit | f0dd061ae64deb016b5197162de3896155816b41 (patch) | |
tree | 557697a381aa562ab14c2521db81d00b78008e58 /bl31 | |
parent | 4a9663062cef254e79189e4fbde85172eb58f9ce (diff) |
Add support for %p in tf_printf()
This patch adds support for the `%p` format specifier in tf_printf()
following the example of the printf implementation of the stdlib used
in the trusted firmware.
Fixes ARM-software/tf-issues#292
Change-Id: I0b3230c783f735d3e039be25a9405f00023420da
Diffstat (limited to 'bl31')
-rw-r--r-- | bl31/runtime_svc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bl31/runtime_svc.c b/bl31/runtime_svc.c index 5b7a21cd..f011f112 100644 --- a/bl31/runtime_svc.c +++ b/bl31/runtime_svc.c @@ -103,8 +103,8 @@ void runtime_svc_init(void) */ rc = validate_rt_svc_desc(&rt_svc_descs[index]); if (rc) { - ERROR("Invalid runtime service descriptor 0x%lx (%s)\n", - (uintptr_t) &rt_svc_descs[index], + ERROR("Invalid runtime service descriptor %p (%s)\n", + (void *) &rt_svc_descs[index], rt_svc_descs[index].name); goto error; } |