update

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

diff --git a/kernel/fiasco/src/kern/arm/bsp/integrator/pic-arm-integrator.cpp b/kernel/fiasco/src/kern/arm/bsp/integrator/pic-arm-integrator.cpp
index 3a6bc6d8694b903cf6aa8310a7319833e821c75c..8eec233016dfa4a2bfe6bd020a25b6d83278a024 100644 (file)
--- a/kernel/fiasco/src/kern/arm/bsp/integrator/pic-arm-integrator.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/integrator/pic-arm-integrator.cpp
@@ -93,6 +93,18 @@ extern "C"
 void irq_handler()
 { mgr->c.handle_multi_pending<Irq_chip_arm_integr>(0); }
 
+// ------------------------------------------------------------------------
+IMPLEMENTATION [arm && integrator && arm_em_tz]:
+
+#include <cstdio>
+
+PUBLIC static
+void
+Pic::set_pending_irq(unsigned group32num, Unsigned32 val)
+{
+  printf("%s(%d, %x): Not implemented\n", __func__, group32num, val);
+}
+
 //---------------------------------------------------------------------------
 IMPLEMENTATION [debug && integrator]: