From 9549ed9b86b0982f1d6b1cfb2c8d27a34bfaac3e Mon Sep 17 00:00:00 2001 From: Joel Sherrill Date: Mon, 29 Aug 2011 21:38:09 +0000 Subject: [PATCH] 2011-08-29 Joel Sherrill * bootcard.c: Correct printk() format. --- c/src/lib/libbsp/shared/ChangeLog | 4 ++++ c/src/lib/libbsp/shared/bootcard.c | 6 +++--- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/c/src/lib/libbsp/shared/ChangeLog b/c/src/lib/libbsp/shared/ChangeLog index 947622b74f..68bdf9e832 100644 --- a/c/src/lib/libbsp/shared/ChangeLog +++ b/c/src/lib/libbsp/shared/ChangeLog @@ -1,3 +1,7 @@ +2011-08-29 Joel Sherrill + + * bootcard.c: Correct printk() format. + 2011-07-21 Sebastian Huber * include/uart-output-char.h, src/uart-output-char.c: Support for diff --git a/c/src/lib/libbsp/shared/bootcard.c b/c/src/lib/libbsp/shared/bootcard.c index fd7bd22fb9..10723ab783 100644 --- a/c/src/lib/libbsp/shared/bootcard.c +++ b/c/src/lib/libbsp/shared/bootcard.c @@ -178,9 +178,9 @@ uint32_t boot_card( if ( work_area_size <= Configuration.work_space_size ) { printk( - "bootcard: work space too big for work area: %p > %p\n", - (void *) Configuration.work_space_size, - (void *) work_area_size + "bootcard: work space too big for work area: 0x%08x > 0x%08x\n", + Configuration.work_space_size, + work_area_size ); bsp_cleanup(1); return 1;