Changes in kernel/arch/arm32/include/types.h [c09adc10:98000fb] in mainline

File:

• kernel/arch/arm32/include/types.h (modified) (1 diff)

kernel/arch/arm32/include/types.h

@@ -87 +87 @@
 #define PRIxn "x"       /**< Format for hexadecimal (u)native_t. */
 
+/** Page table entry.
+ *
+ *  We have different structs for level 0 and level 1 page table entries.
+ *  See page.h for definition of pte_level*_t.
+ */
+typedef struct {
+        unsigned dummy : 32;
+} pte_t;
+
 #endif