Changes in kernel/arch/ppc32/src/interrupt.c [682cfceb:eef1b031] in mainline

File:

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

kernel/arch/ppc32/src/interrupt.c

@@ -42 +42 @@
 #include <arch/drivers/pic.h>
 #include <arch/mm/tlb.h>
+#include <arch/mm/pht.h>
 #include <print.h>
 
@@ -153 +154 @@
         exc_register(VECTOR_DECREMENTER, "timer", true,
             exception_decrementer);
+        exc_register(VECTOR_ITLB_MISS, "itlb_miss", true,
+            tlb_refill);
+        exc_register(VECTOR_DTLB_MISS_LOAD, "dtlb_miss_load", true,
+            tlb_refill);
+        exc_register(VECTOR_DTLB_MISS_STORE, "dtlb_miss_store", true,
+            tlb_refill);
 }