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

File:

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

kernel/arch/ppc32/src/interrupt.c

@@ -36 +36 @@
 #include <interrupt.h>
 #include <arch/interrupt.h>
-#include <arch/istate.h>
 #include <typedefs.h>
 #include <arch.h>
+#include <time/clock.h>
 #include <ipc/sysipc.h>
 #include <arch/drivers/pic.h>
@@ -46 +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)
         );
 }
@@ -112 +104 @@
 {
         uint8_t inum;
-
+        
         while ((inum = pic_get_pending()) != 255) {
                 irq_t *irq = irq_dispatch_and_lock(inum);
@@ -146 +138 @@
 }
 
-static void exception_fp_unavailable(unsigned int n, istate_t *istate)
-{
-#ifdef CONFIG_FPU_LAZY
-        scheduler_fpu_lazy_request();
-        /*
-         * Propagate MSR_FP from MSR back to istate's SRR1, which will become
-         * the next MSR.
-         */
-        istate->srr1 |= msr_read() & MSR_FP;
-#else
-        fault_if_from_uspace(istate, "FPU fault.");
-        panic_badtrap(istate, n, "FPU fault.");
-#endif
-}
-
 static void exception_decrementer(unsigned int n, istate_t *istate)
 {
-        decrementer_restart();
+        start_decrementer();
         clock();
 }
@@ -176 +153 @@
         exc_register(VECTOR_EXTERNAL, "external", true,
             exception_external);
-        exc_register(VECTOR_FP_UNAVAILABLE, "fp_unavailable", true,
-            exception_fp_unavailable);
         exc_register(VECTOR_DECREMENTER, "timer", true,
             exception_decrementer);