Changes in kernel/arch/ppc32/include/mm/page.h [98000fb:f3277d49] in mainline

File:

• kernel/arch/ppc32/include/mm/page.h (modified) (1 diff)

kernel/arch/ppc32/include/mm/page.h

@@ -131 +131 @@
 #include <arch/interrupt.h>
 
-static inline int get_pt_flags(pte_t *pt, size_t i)
+/** Page Table Entry. */
+typedef struct {
+        unsigned present : 1;             /**< Present bit. */
+        unsigned page_write_through : 1;  /**< Write thought caching. */
+        unsigned page_cache_disable : 1;  /**< No caching. */
+        unsigned accessed : 1;            /**< Accessed bit. */
+        unsigned global : 1;              /**< Global bit. */
+        unsigned valid : 1;               /**< Valid content even if not present. */
+        unsigned pfn : 20;                /**< Physical frame number. */
+} pte_t;
+
+static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
 {
         pte_t *p = &pt[i];