HelenOS sources
SET_PTL1_FLAGS_ARCH 101 kernel/arch/abs32le/include/arch/mm/page.h #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) \
SET_PTL1_FLAGS_ARCH 126 kernel/arch/amd64/include/arch/mm/page.h #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) \
SET_PTL1_FLAGS_ARCH 118 kernel/arch/arm32/include/arch/mm/page.h #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) \
SET_PTL1_FLAGS_ARCH 130 kernel/arch/arm64/include/arch/mm/page.h #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) \
SET_PTL1_FLAGS_ARCH 117 kernel/arch/ia32/include/arch/mm/page.h #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) \
SET_PTL1_FLAGS_ARCH 125 kernel/arch/mips32/include/arch/mm/page.h #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) \
SET_PTL1_FLAGS_ARCH 121 kernel/arch/ppc32/include/arch/mm/page.h #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) \
SET_PTL1_FLAGS_ARCH 129 kernel/arch/riscv64/include/arch/mm/page.h #define SET_PTL1_FLAGS_ARCH(ptl0, i, flags) \
HelenOS homepage, sources at GitHub