HelenOS sources

PTE_VALID_ARCH    117 kernel/arch/abs32le/include/arch/mm/page.h #define PTE_VALID_ARCH(p) \
PTE_VALID_ARCH    146 kernel/arch/amd64/include/arch/mm/page.h #define PTE_VALID_ARCH(p) \
PTE_VALID_ARCH     47 kernel/arch/arm32/include/arch/mm/page_armv4.h #define PTE_VALID_ARCH(pte) \
PTE_VALID_ARCH     44 kernel/arch/arm32/include/arch/mm/page_armv6.h #define PTE_VALID_ARCH(pte) \
PTE_VALID_ARCH    150 kernel/arch/arm64/include/arch/mm/page.h #define PTE_VALID_ARCH(pte) \
PTE_VALID_ARCH    133 kernel/arch/ia32/include/arch/mm/page.h #define PTE_VALID_ARCH(p) \
PTE_VALID_ARCH    141 kernel/arch/mips32/include/arch/mm/page.h #define PTE_VALID_ARCH(pte)		((pte)->soft_valid != 0)
PTE_VALID_ARCH    141 kernel/arch/ppc32/include/arch/mm/page.h #define PTE_VALID_ARCH(pte)       ((pte)->valid != 0)
PTE_VALID_ARCH    155 kernel/arch/riscv64/include/arch/mm/page.h #define PTE_VALID_ARCH(pte)       ((pte)->valid != 0)