HelenOS sources

GET_PTL1_FLAGS_ARCH   91 kernel/arch/abs32le/include/arch/mm/page.h #define GET_PTL1_FLAGS_ARCH(ptl0, i) \
GET_PTL1_FLAGS_ARCH  116 kernel/arch/amd64/include/arch/mm/page.h #define GET_PTL1_FLAGS_ARCH(ptl0, i) \
GET_PTL1_FLAGS_ARCH  108 kernel/arch/arm32/include/arch/mm/page.h #define GET_PTL1_FLAGS_ARCH(ptl0, i) \
GET_PTL1_FLAGS_ARCH  120 kernel/arch/arm64/include/arch/mm/page.h #define GET_PTL1_FLAGS_ARCH(ptl0, i) \
GET_PTL1_FLAGS_ARCH  107 kernel/arch/ia32/include/arch/mm/page.h #define GET_PTL1_FLAGS_ARCH(ptl0, i) \
GET_PTL1_FLAGS_ARCH  115 kernel/arch/mips32/include/arch/mm/page.h #define GET_PTL1_FLAGS_ARCH(ptl0, i) \
GET_PTL1_FLAGS_ARCH  108 kernel/arch/ppc32/include/arch/mm/page.h #define GET_PTL1_FLAGS_ARCH(ptl0, i) \
GET_PTL1_FLAGS_ARCH  116 kernel/arch/riscv64/include/arch/mm/page.h #define GET_PTL1_FLAGS_ARCH(ptl0, i) \