update

[l4.git] / kernel / fiasco / src / kern / arm / bsp / realview / platform_control-arm-realview.cpp

diff --git a/kernel/fiasco/src/kern/arm/bsp/realview/platform_control-arm-realview.cpp b/kernel/fiasco/src/kern/arm/bsp/realview/platform_control-arm-realview.cpp
index 4cc9f992ad078c5ff556a050bf5ae6805cfffb91..5c7d76bfba136ed3b79fd3282c713d75cbe8c73f 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/realview/platform_control-arm-realview.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/realview/platform_control-arm-realview.cpp
@@ -12,10 +12,10 @@ void
 Platform_control::boot_ap_cpus(Address phys_tramp_mp_addr)
 {
   // set physical start address for AP CPUs
-  Platform::write(Platform::Sys::Flags_clr, 0xffffffff);
-  Platform::write(Platform::Sys::Flags, phys_tramp_mp_addr);
+  Platform::sys->write<Mword>(0xffffffff, Platform::Sys::Flags_clr);
+  Platform::sys->write<Mword>(phys_tramp_mp_addr, Platform::Sys::Flags);
 
   // wake up AP CPUs, always from CPU 0
-  Ipi::bcast(Ipi::Global_request, 0);
+  Ipi::bcast(Ipi::Global_request, Cpu_number::boot_cpu());
 }