Changeset 15187c3 in mainline

Timestamp:

2013-08-08T20:51:50Z (11 years ago)

Author:

Jan Vesely <jano.vesely@…>

Branches:

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

Children:

7bf9217

Parents:

ae5fb7c8

Message:

mm: Mark pages as not present before destroying them.

We need this for possible pt coherency implemented in arch specific macros.

File:

• kernel/genarch/src/mm/page_pt.c (modified) (1 diff)

kernel/genarch/src/mm/page_pt.c

@@ -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);