Changes in kernel/arch/ppc32/src/interrupt.c [0c91cff:b2fa1204] in mainline

File:

• kernel/arch/ppc32/src/interrupt.c (modified) (3 diffs)

kernel/arch/ppc32/src/interrupt.c

@@ -38 +38 @@
 #include <typedefs.h>
 #include <arch.h>
+#include <time/clock.h>
 #include <ipc/sysipc.h>
 #include <arch/drivers/pic.h>
@@ -45 +46 @@
 #include <log.h>
 
-static uint32_t decrementer_value;
-
-void decrementer_start(uint32_t val)
-{
-        decrementer_value = val;
-        decrementer_restart();
-}
-
-void decrementer_restart(void)
+void start_decrementer(void)
 {
         asm volatile (
                 "mtdec %[dec]\n"
-                :: [dec] "r" (decrementer_value)
+                :: [dec] "r" (1000)
         );
 }
@@ -147 +140 @@
 static void exception_decrementer(unsigned int n, istate_t *istate)
 {
-        decrementer_restart();
+        start_decrementer();
         clock();
 }