[PATCH 3/9] cpukit/../i386/cpu.c: Use inttypes.h to fix 1 warning.

Cillian O'Donnell cpodonnell8 at gmail.com
Sat Apr 8 11:30:15 UTC 2017


---
 cpukit/score/cpu/i386/cpu.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/cpukit/score/cpu/i386/cpu.c b/cpukit/score/cpu/i386/cpu.c
index d839f1e..447d8ae 100644
--- a/cpukit/score/cpu/i386/cpu.c
+++ b/cpukit/score/cpu/i386/cpu.c
@@ -104,7 +104,8 @@ void _CPU_Initialize(void)
   uint32_t cr4;
     __asm__ __volatile__("mov %%cr4, %0":"=r"(cr4));
     if ( 0x600 != (cr4 & 0x600) ) {
-      printk("PANIC: RTEMS was compiled for SSE but BSP did not enable it (CR4: 0x%08x)\n", cr4);
+      printk("PANIC: RTEMS was compiled for SSE but BSP did not enable it"
+             "(CR4: 0%" PRIu32 ")\n", cr4);
       while ( 1 ) {
         __asm__ __volatile__("hlt");
 	  }
-- 
2.7.4



More information about the devel mailing list