Changes in kernel/arch/arm32/include/types.h [98000fb:c09adc10] 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