update

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

diff --git a/kernel/fiasco/src/kern/arm/dirq-arm.cpp b/kernel/fiasco/src/kern/arm/dirq-arm.cpp
index c2ac338fa877f04ad492bc7c98e13c5e6812fb65..da3c9ef20ef2599e12d9cb8c5a0269058559c5a8 100644 (file)
--- a/kernel/fiasco/src/kern/arm/dirq-arm.cpp
+++ b/kernel/fiasco/src/kern/arm/dirq-arm.cpp
@@ -25,7 +25,7 @@ next_irq:
 
        if (Pic::is_pending(irqs, Config::Scheduling_irq))
          {
-           Irq::log_irq(0, Config::Scheduling_irq);
+           Irq::log_timer_irq(Config::Scheduling_irq);
            Timer::acknowledge();
            Timer::update_system_clock();
            current_thread()->handle_timer_interrupt();
@@ -60,7 +60,7 @@ next_irq:
 
        if (Pic::is_pending(irq, Config::Scheduling_irq))
          {
-           Irq::log_irq(0, irq);
+           Irq::log_timer_irq(irq);
            Timer::acknowledge();
            Timer::update_system_clock();
            current_thread()->handle_timer_interrupt();