HelenOS sources

SET_PTL1_PRESENT_ARCH  109 kernel/arch/abs32le/include/arch/mm/page.h #define SET_PTL1_PRESENT_ARCH(ptl0, i)	\
SET_PTL1_PRESENT_ARCH  136 kernel/arch/amd64/include/arch/mm/page.h #define SET_PTL1_PRESENT_ARCH(ptl0, i) \
SET_PTL1_PRESENT_ARCH  126 kernel/arch/arm32/include/arch/mm/page.h #define SET_PTL1_PRESENT_ARCH(ptl0, i) \
SET_PTL1_PRESENT_ARCH  140 kernel/arch/arm64/include/arch/mm/page.h #define SET_PTL1_PRESENT_ARCH(ptl0, i) \
SET_PTL1_PRESENT_ARCH  125 kernel/arch/ia32/include/arch/mm/page.h #define SET_PTL1_PRESENT_ARCH(ptl0, i) \
SET_PTL1_PRESENT_ARCH  133 kernel/arch/mips32/include/arch/mm/page.h #define SET_PTL1_PRESENT_ARCH(ptl0, i) \
SET_PTL1_PRESENT_ARCH  131 kernel/arch/ppc32/include/arch/mm/page.h #define SET_PTL1_PRESENT_ARCH(ptl0, i) \
SET_PTL1_PRESENT_ARCH  142 kernel/arch/riscv64/include/arch/mm/page.h #define SET_PTL1_PRESENT_ARCH(ptl0, i) \