update

[l4.git] / kernel / fiasco / src / kern / ppc32 / bsp / mpc52xx / pic-mpc52xx.cpp

diff --git a/kernel/fiasco/src/kern/ppc32/bsp/mpc52xx/pic-mpc52xx.cpp b/kernel/fiasco/src/kern/ppc32/bsp/mpc52xx/pic-mpc52xx.cpp
index 8db9825cec2174695a9469728403067e775aba00..c2957e15b1eb3d0132a37666afd0288b96c89618 100644 (file)
--- a/kernel/fiasco/src/kern/ppc32/bsp/mpc52xx/pic-mpc52xx.cpp
+++ b/kernel/fiasco/src/kern/ppc32/bsp/mpc52xx/pic-mpc52xx.cpp
@@ -116,13 +116,6 @@ Mpc52xx_pin::do_unmask()
   //Pic::enable_locked(irq());
 }
 
-PUBLIC
-void
-Mpc52xx_pin::hit()
-{
-  Irq::self(this)->Irq::hit();
-}
-
 PUBLIC
 void
 Mpc52xx_pin::set_cpu(unsigned)