Changeset df7f5cea in mainline for kernel/arch/ppc32/src/interrupt.c

Timestamp:

2014-08-25T23:03:50Z (10 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

1c635d6, 3ab2d1e

Parents:

6dbe7f68

Message:

Experimental support for hard-floats on ppc32.

• By default disabled.

File:

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

kernel/arch/ppc32/src/interrupt.c

@@ -112 +112 @@
 {
         uint8_t inum;
-        
+
         while ((inum = pic_get_pending()) != 255) {
                 irq_t *irq = irq_dispatch_and_lock(inum);
@@ -146 +146 @@
 }
 
+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)
 {
@@ -161 +176 @@
         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);