update

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

diff --git a/kernel/fiasco/src/kern/ia32/startup-ia32.cpp b/kernel/fiasco/src/kern/ia32/startup-ia32.cpp
index bdd4a429c065b3bf227538d2cf29f10fd8ae9f25..3de3dffc2e68fe5410fb96863b2829328b833f7a 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/startup-ia32.cpp
+++ b/kernel/fiasco/src/kern/ia32/startup-ia32.cpp
@@ -62,7 +62,7 @@ Startup::stage2()
   // Initialize cpu-local data management and run constructors for CPU 0
   Per_cpu_data::init_ctors();
   Per_cpu_data_alloc::alloc(Cpu_number::boot_cpu());
-  Per_cpu_data::run_ctors(Cpu_number::boot_cpu());
+  Per_cpu_data::run_ctors(Cpu_number::boot_cpu(), false);
 
   // set frequency in KIP to that of the boot CPU
   Kip_init::init_freq(Cpu::cpus.cpu(Cpu_number::boot_cpu()));
@@ -85,7 +85,7 @@ Startup::stage2()
   Kmem::init_cpu(Cpu::cpus.cpu(Cpu_number::boot_cpu()));
   Utcb_init::init();
   Idt::init();
-  Fpu::init(Cpu_number::boot_cpu());
+  Fpu::init(Cpu_number::boot_cpu(), false);
   Apic::init();
   Apic::apic.cpu(Cpu_number::boot_cpu()).construct();
   Ipi::init(Cpu_number::boot_cpu());