update

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

diff --git a/kernel/fiasco/src/kern/arm/pic-gic.cpp b/kernel/fiasco/src/kern/arm/pic-gic.cpp
index cf7a1bd3d85f46414d688cfff32dc48629c399ce..4dab29afd028e8a743e6ff7c7db807210ff68cca 100644 (file)
--- a/kernel/fiasco/src/kern/arm/pic-gic.cpp
+++ b/kernel/fiasco/src/kern/arm/pic-gic.cpp
@@ -16,3 +16,12 @@ extern "C"
 void irq_handler()
 { Pic::gic->hit(0); }
 
+//-------------------------------------------------------------------
+IMPLEMENTATION [arm && pic_gic && arm_em_tz]:
+
+PUBLIC static
+void
+Pic::set_pending_irq(unsigned group32num, Unsigned32 val)
+{
+  gic->set_pending_irq(group32num, val);
+}