Changes in kernel/arch/ppc32/src/interrupt.c [eef1b031:682cfceb] 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>
 
@@ -154 +153 @@
         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);
 }