Update

[l4.git] / kernel / fiasco / src / kern / arm / bsp / omap / pic-arm-omap3.cpp

diff --git a/kernel/fiasco/src/kern/arm/bsp/omap/pic-arm-omap3.cpp b/kernel/fiasco/src/kern/arm/bsp/omap/pic-arm-omap3.cpp
index e58764e04ab10ad96beb1fd9724bdffb189df849..0b530107ebf896e565032ca46eb6915f7b2175ae 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/omap/pic-arm-omap3.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/omap/pic-arm-omap3.cpp
@@ -1,5 +1,6 @@
 INTERFACE [arm && omap3]:
 
+#include "initcalls.h"
 #include "kmem.h"
 
 class Irq_base;
@@ -30,7 +31,6 @@ IMPLEMENTATION [arm && omap3]:
 
 #include "assert.h"
 #include "config.h"
-#include "initcalls.h"
 #include "io.h"
 #include "irq_chip_generic.h"
 #include "irq_mgr.h"
@@ -123,20 +123,12 @@ Irq_chip_arm_omap3::unmask(Mword irq)
 
 static Static_object<Irq_mgr_single_chip<Irq_chip_arm_omap3> > mgr;
 
-IMPLEMENT FIASCO_INIT
+PUBLIC static FIASCO_INIT
 void Pic::init()
 {
   Irq_mgr::mgr = mgr.construct();
 }
 
-IMPLEMENT inline
-Pic::Status Pic::disable_all_save()
-{ return 0; }
-
-IMPLEMENT inline
-void Pic::restore_all(Status)
-{}
-
 PUBLIC inline
 Unsigned32 Irq_chip_arm_omap3::pending()
 {