Update

[l4.git] / kernel / fiasco / src / kern / ia32 / fpu-ia32-ux.cpp

diff --git a/kernel/fiasco/src/kern/ia32/fpu-ia32-ux.cpp b/kernel/fiasco/src/kern/ia32/fpu-ia32-ux.cpp
index ee6ae4cc3480e98e23f3fb46eabf57d25c85f594..603fceee244eee5f9b1c4cd988f11e751eb15906 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/fpu-ia32-ux.cpp
+++ b/kernel/fiasco/src/kern/ia32/fpu-ia32-ux.cpp
@@ -125,13 +125,13 @@ Fpu::init(Cpu_number cpu, bool resume)
   init_disable();
 
   if (cpu == Cpu_number::boot_cpu() && !resume)
-    printf("FPU%d: %s%s\n", cxx::int_value<Cpu_number>(cpu),
+    printf("FPU%u: %s%s\n", cxx::int_value<Cpu_number>(cpu),
            Cpu::cpus.cpu(cpu).features() & FEAT_SSE  ? "SSE "  : "",
            Cpu::cpus.cpu(cpu).ext_features() & FEATX_AVX ? "AVX "  : "");
 
   unsigned cpu_align = 0, cpu_size  = 0;
 
-  if (Cpu::cpus.cpu(cpu).ext_features() & FEATX_XSAVE)
+  if (Cpu::cpus.cpu(cpu).has_xsave())
     {
       init_xsave(cpu);