armv7: fix #ifdef in paging_tlb_flush_range().
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 15:38:17 +0000 (17:38 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 15:38:17 +0000 (17:38 +0200)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel/paging_generic.c

index 991fd96..58bb90b 100644 (file)
@@ -274,7 +274,7 @@ errval_t paging_tlb_flush_range(struct cte *frame, size_t pages)
 #elif defined(__ARM_ARCH_5__)
             // XXX: cannot add code here without breaking CPU driver?!
             // -SG, 2015-05-04.
-#elif defined(__ARM_ARCH_7__)
+#elif defined(__ARM_ARCH_7A__)
         case ObjType_VNode_ARM_l1:
             panic("large page support for ARM NYI!\n");
             break;