Changeset b3f967c in mainline

Timestamp:

2013-08-06T23:06:38Z (11 years ago)

Author:

Jan Vesely <jano.vesely@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

bb75646

Parents:

e40b8066

Message:

arm32: Move more functions to common header

Location:

kernel/arch/arm32/include/arch/mm

Files:

• page.h (modified) (3 diffs)
• page_armv4.h (modified) (2 diffs)
• page_armv6.h (modified) (2 diffs)

kernel/arch/arm32/include/arch/mm/page.h

@@ -41 +41 @@
 #include <arch/exception.h>
 #include <arch/barrier.h>
+#include <arch/cp15.h>
 #include <trace.h>
 
@@ -129 +130 @@
         set_pt_level1_present((pte_t *) (ptl3), (size_t) (i))
 
+
+#define pt_coherence(page) pt_coherence_m(page, 1)
+
 #if defined(PROCESSOR_ARCH_armv6) | defined(PROCESSOR_ARCH_armv7_a)
 #include "page_armv6.h"
@@ -137 +141 @@
 #endif
 
+/** Sets the address of level 0 page table.
+ *
+ * @param pt Pointer to the page table to set.
+ *
+ */
+NO_TRACE static inline void set_ptl0_addr(pte_t *pt)
+{
+        TTBR0_write((uint32_t)pt);
+}
+
+NO_TRACE static inline void set_ptl1_addr(pte_t *pt, size_t i, uintptr_t address)
+{
+        pt[i].l0.coarse_table_addr = address >> 10;
+        pt_coherence(&pt[i].l0);
+}
+
+NO_TRACE static inline void set_ptl3_addr(pte_t *pt, size_t i, uintptr_t address)
+{
+        pt[i].l1.frame_base_addr = address >> 12;
+        pt_coherence(&pt[i].l1);
+}
+
 #endif
 

kernel/arch/arm32/include/arch/mm/page_armv4.h

@@ -41 +41 @@
 #error "Do not include arch specific page.h directly use generic page.h instead"
 #endif
-
-#include <arch/cp15.h>
 
 /* Macros for querying the last-level PTE entries. */
@@ -122 +120 @@
 #define PTE_DESCRIPTOR_SMALL_PAGE       2
 
-
-/** Sets the address of level 0 page table.
- *
- * @param pt Pointer to the page table to set.
- *
- */
-NO_TRACE static inline void set_ptl0_addr(pte_t *pt)
-{
-        TTBR0_write((uint32_t)pt);
-}
-
-NO_TRACE static inline void set_ptl1_addr(pte_t *pt, size_t i, uintptr_t address)
-{
-        pt[i].l0.coarse_table_addr = address >> 10;
-}
-
-NO_TRACE static inline void set_ptl3_addr(pte_t *pt, size_t i, uintptr_t address)
-{
-        pt[i].l1.frame_base_addr = address >> 12;
-}
-
+#define pt_coherence_m(page, count)
 
 /** Returns level 0 page table entry flags.

kernel/arch/arm32/include/arch/mm/page_armv6.h

@@ -41 +41 @@
 #endif
 
-#include <arch/cp15.h>
 
 /* Macros for querying the last-level PTE entries. */
@@ -135 +134 @@
         read_barrier(); \
 } while (0)
-#define pt_coherence(page) pt_coherence_m(page, 1)
-
-/** Sets the address of level 0 page table.
- *
- * @param pt Pointer to the page table to set.
- *
- */
-NO_TRACE static inline void set_ptl0_addr(pte_t *pt)
-{
-        TTBR0_write((uint32_t)pt);
-}
-
-NO_TRACE static inline void set_ptl1_addr(pte_t *pt, size_t i, uintptr_t address)
-{
-        pt[i].l0.coarse_table_addr = address >> 10;
-        pt_coherence(&pt[i]);
-}
-
-NO_TRACE static inline void set_ptl3_addr(pte_t *pt, size_t i, uintptr_t address)
-{
-        pt[i].l1.frame_base_addr = address >> 12;
-        pt_coherence(&pt[i]);
-}