shared/startup/panic.c: Fix printf() format warnings

This commit is contained in:
Joel Sherrill
2017-04-23 20:05:53 -05:00
parent 3f12cfe503
commit 5796c213b0

View File

@@ -8,6 +8,8 @@
#include <rtems/score/percpu.h> #include <rtems/score/percpu.h>
#include <rtems/score/threaddispatch.h> #include <rtems/score/threaddispatch.h>
#include <inttypes.h>
static void static void
rebootQuestion(void) rebootQuestion(void)
{ {
@@ -60,12 +62,13 @@ void _BSP_Fatal_error(unsigned int v)
printk("enabled\n"); printk("enabled\n");
else else
printk( printk(
" Error occurred in a Thread Dispatching DISABLED context (level %i)\n", " Error occurred in a Thread Dispatching DISABLED"
" context (level %" PRIu32 ")\n",
_Thread_Dispatch_get_disable_level()); _Thread_Dispatch_get_disable_level());
if ( _ISR_Nest_level ) { if ( _ISR_Nest_level ) {
printk( printk(
" Error occurred from ISR context (ISR nest level %i)\n", " Error occurred from ISR context (ISR nest level %" PRIu32 ")\n",
_ISR_Nest_level _ISR_Nest_level
); );
} }