Changes in kernel/arch/arm32/src/mm/page.c [8f9d70b:b0c2075] 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);
         
@@ -73 +69 @@
 #ifdef HIGH_EXCEPTION_VECTORS
         /* Create mapping for exception table at high offset */
-        uintptr_t ev_frame = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_NONE);
+        uintptr_t ev_frame = frame_alloc(1, FRAME_NONE, 0);
         page_mapping_insert(AS_KERNEL, EXC_BASE_ADDRESS, ev_frame, flags);
 #else