X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/fba40cf7f1ec0cd4cfaa7ed6a530785cc666e2ec..bc7a63ab1d89d95508f55f44f23c2adda7a60037:/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 3a6bc6d86..8eec23301 100644
--- 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]: