HelenOS sources

PTE_WRITABLE_ARCH  123 kernel/arch/abs32le/include/arch/mm/page.h #define PTE_WRITABLE_ARCH(p) \
PTE_WRITABLE_ARCH  152 kernel/arch/amd64/include/arch/mm/page.h #define PTE_WRITABLE_ARCH(p) \
PTE_WRITABLE_ARCH   53 kernel/arch/arm32/include/arch/mm/page_armv4.h #define PTE_WRITABLE_ARCH(pte) \
PTE_WRITABLE_ARCH   50 kernel/arch/arm32/include/arch/mm/page_armv6.h #define PTE_WRITABLE_ARCH(pte) \
PTE_WRITABLE_ARCH  156 kernel/arch/arm64/include/arch/mm/page.h #define PTE_WRITABLE_ARCH(pte) \
PTE_WRITABLE_ARCH  139 kernel/arch/ia32/include/arch/mm/page.h #define PTE_WRITABLE_ARCH(p) \
PTE_WRITABLE_ARCH  144 kernel/arch/mips32/include/arch/mm/page.h #define PTE_WRITABLE_ARCH(pte)		((pte)->w != 0)
PTE_WRITABLE_ARCH  144 kernel/arch/ppc32/include/arch/mm/page.h #define PTE_WRITABLE_ARCH(pte)    1
PTE_WRITABLE_ARCH  158 kernel/arch/riscv64/include/arch/mm/page.h #define PTE_WRITABLE_ARCH(pte)    ((pte)->writable != 0)