HelenOS sources

SET_PTL2_ADDRESS_ARCH   85 kernel/arch/abs32le/include/arch/mm/page.h #define SET_PTL2_ADDRESS_ARCH(ptl1, i, a)
SET_PTL2_ADDRESS_ARCH  108 kernel/arch/amd64/include/arch/mm/page.h #define SET_PTL2_ADDRESS_ARCH(ptl1, i, a) \
SET_PTL2_ADDRESS_ARCH  102 kernel/arch/arm32/include/arch/mm/page.h #define SET_PTL2_ADDRESS_ARCH(ptl1, i, a)
SET_PTL2_ADDRESS_ARCH  112 kernel/arch/arm64/include/arch/mm/page.h #define SET_PTL2_ADDRESS_ARCH(ptl1, i, a) \
SET_PTL2_ADDRESS_ARCH  101 kernel/arch/ia32/include/arch/mm/page.h #define SET_PTL2_ADDRESS_ARCH(ptl1, i, a)
SET_PTL2_ADDRESS_ARCH  109 kernel/arch/mips32/include/arch/mm/page.h #define SET_PTL2_ADDRESS_ARCH(ptl1, i, a)
SET_PTL2_ADDRESS_ARCH  101 kernel/arch/ppc32/include/arch/mm/page.h #define SET_PTL2_ADDRESS_ARCH(ptl1, i, a)
SET_PTL2_ADDRESS_ARCH  106 kernel/arch/riscv64/include/arch/mm/page.h #define SET_PTL2_ADDRESS_ARCH(ptl1, i, a) \
HelenOS homepage, sources at GitHub