HelenOS sources

SET_PTL2_FLAGS_ARCH  103 kernel/arch/abs32le/include/arch/mm/page.h #define SET_PTL2_FLAGS_ARCH(ptl1, i, x)
SET_PTL2_FLAGS_ARCH  128 kernel/arch/amd64/include/arch/mm/page.h #define SET_PTL2_FLAGS_ARCH(ptl1, i, x) \
SET_PTL2_FLAGS_ARCH  120 kernel/arch/arm32/include/arch/mm/page.h #define SET_PTL2_FLAGS_ARCH(ptl1, i, x)
SET_PTL2_FLAGS_ARCH  132 kernel/arch/arm64/include/arch/mm/page.h #define SET_PTL2_FLAGS_ARCH(ptl1, i, x) \
SET_PTL2_FLAGS_ARCH  119 kernel/arch/ia32/include/arch/mm/page.h #define SET_PTL2_FLAGS_ARCH(ptl1, i, x)
SET_PTL2_FLAGS_ARCH  127 kernel/arch/mips32/include/arch/mm/page.h #define SET_PTL2_FLAGS_ARCH(ptl1, i, x)
SET_PTL2_FLAGS_ARCH  124 kernel/arch/ppc32/include/arch/mm/page.h #define SET_PTL2_FLAGS_ARCH(ptl1, i, x)
SET_PTL2_FLAGS_ARCH  132 kernel/arch/riscv64/include/arch/mm/page.h #define SET_PTL2_FLAGS_ARCH(ptl1, i, flags) \