Changeset 72e1d6eb in mainline for kernel/genarch/include/mm/page_pt.h

Timestamp:

2012-07-03T19:35:41Z (11 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial

Children:

bb4c9fca

Parents:

0bbd13e (diff), e943ecf (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 from lp:~jakub/helenos/mm.

File:

• kernel/genarch/include/mm/page_pt.h (modified) (1 diff)

kernel/genarch/include/mm/page_pt.h

@@ -115 +115 @@
 
 /*
+ * These macros are provided to set the present bit within the page tables.
+ *
+ */
+#define SET_PTL1_PRESENT(ptl0, i)   SET_PTL1_PRESENT_ARCH(ptl0, i)
+#define SET_PTL2_PRESENT(ptl1, i)   SET_PTL2_PRESENT_ARCH(ptl1, i)
+#define SET_PTL3_PRESENT(ptl2, i)   SET_PTL3_PRESENT_ARCH(ptl2, i)
+#define SET_FRAME_PRESENT(ptl3, i)  SET_FRAME_PRESENT_ARCH(ptl3, i)
+
+/*
  * Macros for querying the last-level PTEs.
  *