HelenOS sources
PTL2_INDEX_ARCH 68 kernel/arch/abs32le/include/arch/mm/page.h #define PTL2_INDEX_ARCH(vaddr) 0
PTL2_INDEX_ARCH 90 kernel/arch/amd64/include/arch/mm/page.h #define PTL2_INDEX_ARCH(vaddr) (((vaddr) >> 21) & 0x1ffU)
PTL2_INDEX_ARCH 84 kernel/arch/arm32/include/arch/mm/page.h #define PTL2_INDEX_ARCH(vaddr) 0
PTL2_INDEX_ARCH 91 kernel/arch/arm64/include/arch/mm/page.h #define PTL2_INDEX_ARCH(vaddr) (((vaddr) >> PTL2_VA_SHIFT) & PTL2_VA_MASK)
PTL2_INDEX_ARCH 83 kernel/arch/ia32/include/arch/mm/page.h #define PTL2_INDEX_ARCH(vaddr) 0
PTL2_INDEX_ARCH 90 kernel/arch/mips32/include/arch/mm/page.h #define PTL2_INDEX_ARCH(vaddr) 0
PTL2_INDEX_ARCH 79 kernel/arch/ppc32/include/arch/mm/page.h #define PTL2_INDEX_ARCH(vaddr) 0
PTL2_INDEX_ARCH 80 kernel/arch/riscv64/include/arch/mm/page.h #define PTL2_INDEX_ARCH(vaddr) (((vaddr) >> 21) & 0x1ff)
HelenOS homepage, sources at GitHub