HelenOS sources

SET_PTL0_ADDRESS_ARCH   82 kernel/arch/abs32le/include/arch/mm/page.h #define SET_PTL0_ADDRESS_ARCH(ptl0)
SET_PTL0_ADDRESS_ARCH  104 kernel/arch/amd64/include/arch/mm/page.h #define SET_PTL0_ADDRESS_ARCH(ptl0) \
SET_PTL0_ADDRESS_ARCH   98 kernel/arch/arm32/include/arch/mm/page.h #define SET_PTL0_ADDRESS_ARCH(ptl0) \
SET_PTL0_ADDRESS_ARCH  109 kernel/arch/arm64/include/arch/mm/page.h #define SET_PTL0_ADDRESS_ARCH(ptl0)
SET_PTL0_ADDRESS_ARCH   97 kernel/arch/ia32/include/arch/mm/page.h #define SET_PTL0_ADDRESS_ARCH(ptl0) \
SET_PTL0_ADDRESS_ARCH   94 kernel/arch/mips32/include/arch/mm/page.h #define SET_PTL0_ADDRESS_ARCH(ptl0)
SET_PTL0_ADDRESS_ARCH   96 kernel/arch/ppc32/include/arch/mm/page.h #define SET_PTL0_ADDRESS_ARCH(ptl0)
SET_PTL0_ADDRESS_ARCH  100 kernel/arch/riscv64/include/arch/mm/page.h #define SET_PTL0_ADDRESS_ARCH(ptl0) \