update

[l4.git] / kernel / fiasco / src / kern / ppc32 / dirq-ppc32.cpp

diff --git a/kernel/fiasco/src/kern/ppc32/dirq-ppc32.cpp b/kernel/fiasco/src/kern/ppc32/dirq-ppc32.cpp
index 671e289bd1e5d76778bedd779b4375a6afd3d521..632c5f44876f5995c4082b6d00fe019f13e912be 100644 (file)
--- a/kernel/fiasco/src/kern/ppc32/dirq-ppc32.cpp
+++ b/kernel/fiasco/src/kern/ppc32/dirq-ppc32.cpp
@@ -27,5 +27,5 @@ void irq_handler()
 
   Irq *i = nonull_static_cast<Irq*>(Irq_chip_gen::irqs[irq]);
   Irq::log_irq(i, irq);
-  i->pin()->hit();
+  i->hit();
 }