Changeset 2921602 in mainline for kernel/genarch/src/mm/page_pt.c

Timestamp:

2013-08-15T09:48:01Z (12 years ago)

Author:

Jan Vesely <jano.vesely@…>

Branches:

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

Children:

03c971f, ab92305

Parents:

ed29fe4 (diff), 34847e2 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

merge arm32 improvements and fixes

• caches are now enabled (and used) on all armv7-a machines
• fixed ghost interrupt issue on bbxm (thx mlombardi)
• other minor fixes

File:

• kernel/genarch/src/mm/page_pt.c (modified) (2 diffs)

kernel/genarch/src/mm/page_pt.c

@@ -112 +112 @@
                  */
                 write_barrier();
-                SET_PTL2_PRESENT(ptl1, PTL1_INDEX(page));       
+                SET_PTL2_PRESENT(ptl1, PTL1_INDEX(page));
         }
         
@@ -180 +180 @@
          * Destroy the mapping.
          * Setting to PAGE_NOT_PRESENT is not sufficient.
-         */
+         * But we need SET_FRAME for possible PT coherence maintenance.
+         * At least on ARM.
+         */
+        //TODO: Fix this inconsistency
+        SET_FRAME_FLAGS(ptl3, PTL3_INDEX(page), PAGE_NOT_PRESENT);
         memsetb(&ptl3[PTL3_INDEX(page)], sizeof(pte_t), 0);