HelenOS sources
SET_PTL3_PRESENT_ARCH 112 kernel/arch/abs32le/include/arch/mm/page.h #define SET_PTL3_PRESENT_ARCH(ptl2, i)
SET_PTL3_PRESENT_ARCH 140 kernel/arch/amd64/include/arch/mm/page.h #define SET_PTL3_PRESENT_ARCH(ptl2, i) \
SET_PTL3_PRESENT_ARCH 129 kernel/arch/arm32/include/arch/mm/page.h #define SET_PTL3_PRESENT_ARCH(ptl2, i)
SET_PTL3_PRESENT_ARCH 144 kernel/arch/arm64/include/arch/mm/page.h #define SET_PTL3_PRESENT_ARCH(ptl2, i) \
SET_PTL3_PRESENT_ARCH 128 kernel/arch/ia32/include/arch/mm/page.h #define SET_PTL3_PRESENT_ARCH(ptl2, i)
SET_PTL3_PRESENT_ARCH 136 kernel/arch/mips32/include/arch/mm/page.h #define SET_PTL3_PRESENT_ARCH(ptl2, i)
SET_PTL3_PRESENT_ARCH 135 kernel/arch/ppc32/include/arch/mm/page.h #define SET_PTL3_PRESENT_ARCH(ptl2, i)
SET_PTL3_PRESENT_ARCH 148 kernel/arch/riscv64/include/arch/mm/page.h #define SET_PTL3_PRESENT_ARCH(ptl2, i) \
HelenOS homepage, sources at GitHub