HelenOS sources
GET_PTL2_ADDRESS_ARCH 74 kernel/arch/abs32le/include/arch/mm/page.h #define GET_PTL2_ADDRESS_ARCH(ptl1, i) \
GET_PTL2_ADDRESS_ARCH 96 kernel/arch/amd64/include/arch/mm/page.h #define GET_PTL2_ADDRESS_ARCH(ptl1, i) \
GET_PTL2_ADDRESS_ARCH 90 kernel/arch/arm32/include/arch/mm/page.h #define GET_PTL2_ADDRESS_ARCH(ptl1, i) \
GET_PTL2_ADDRESS_ARCH 97 kernel/arch/arm64/include/arch/mm/page.h #define GET_PTL2_ADDRESS_ARCH(ptl1, i) \
GET_PTL2_ADDRESS_ARCH 89 kernel/arch/ia32/include/arch/mm/page.h #define GET_PTL2_ADDRESS_ARCH(ptl1, i) \
GET_PTL2_ADDRESS_ARCH 99 kernel/arch/mips32/include/arch/mm/page.h #define GET_PTL2_ADDRESS_ARCH(ptl1, i) \
GET_PTL2_ADDRESS_ARCH 86 kernel/arch/ppc32/include/arch/mm/page.h #define GET_PTL2_ADDRESS_ARCH(ptl1, i) \
GET_PTL2_ADDRESS_ARCH 90 kernel/arch/riscv64/include/arch/mm/page.h #define GET_PTL2_ADDRESS_ARCH(ptl1, i) \
HelenOS homepage, sources at GitHub