Changeset dc05a9a in mainline for kernel/arch/arm32/include/arch/mm/page_armv4.h

Timestamp:

2016-08-31T14:12:45Z (8 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

38dc82d

Parents:

7a67416

Message:

Fix PTE_VALID_ARCH macros

The PTE_VALID_ARCH macros are rewritten so that they don't break the
anti-aliasing rules. The page_ht PTE_VALID_ARCH is modified not to
trigger always-true warnings.

File:

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

kernel/arch/arm32/include/arch/mm/page_armv4.h

@@ -44 +44 @@
 /* Macros for querying the last-level PTE entries. */
 #define PTE_VALID_ARCH(pte) \
-        (*((uint32_t *) (pte)) != 0)
+        (((pte_t *) (pte))->l0.should_be_zero != 0 || PTE_PRESENT_ARCH(pte))
 #define PTE_PRESENT_ARCH(pte) \
         (((pte_t *) (pte))->l0.descriptor_type != 0)