Changes in kernel/arch/arm32/src/mm/page.c [b0c2075:8f9d70b] in mainline

File:

• kernel/arch/arm32/src/mm/page.c (modified) (2 diffs)

kernel/arch/arm32/src/mm/page.c

@@ -55 +55 @@
         page_mapping_operations = &pt_mapping_operations;
 
+#ifdef PROCESSOR_ARCH_armv6
+        /* Select ARMv6 and ARMv7 memory model */
+        SCTLR_write(SCTLR_read() | SCTLR_EXTENDED_PT_EN_FLAG);
+#endif
         page_table_lock(AS_KERNEL, true);
         
@@ -69 +73 @@
 #ifdef HIGH_EXCEPTION_VECTORS
         /* Create mapping for exception table at high offset */
-        uintptr_t ev_frame = frame_alloc(1, FRAME_NONE, 0);
+        uintptr_t ev_frame = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_NONE);
         page_mapping_insert(AS_KERNEL, EXC_BASE_ADDRESS, ev_frame, flags);
 #else