monitor: Print addresses like identifiers

This avoids the "0x0xabc" output and is more compact.
This commit is contained in:
Sebastian Huber
2015-07-22 09:03:44 +02:00
parent 975e19187d
commit 1f199799b2
2 changed files with 3 additions and 3 deletions

View File

@@ -47,9 +47,9 @@ rtems_monitor_dump_decimal(uint32_t num)
}
int
rtems_monitor_dump_addr(void *addr)
rtems_monitor_dump_addr(const void *addr)
{
return fprintf(stdout,"0x%p", addr);
return fprintf(stdout,"%08" PRIxPTR, (intptr_t) addr);
}
int

View File

@@ -403,7 +403,7 @@ void rtems_monitor_separator(void);
uint32_t rtems_monitor_pad(uint32_t dest_col, uint32_t curr_col);
int rtems_monitor_dump_decimal(uint32_t num);
int rtems_monitor_dump_hex(uint32_t num);
int rtems_monitor_dump_addr(void *addr);
int rtems_monitor_dump_addr(const void *addr);
int rtems_monitor_dump_id(rtems_id id);
int rtems_monitor_dump_name(rtems_id id);
int rtems_monitor_dump_priority(rtems_task_priority priority);