---
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
_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
