HelenOS sources

PTL3_INDEX_ARCH    69 kernel/arch/abs32le/include/arch/mm/page.h #define PTL3_INDEX_ARCH(vaddr)  (((vaddr) >> 12) & 0x3ffU)
PTL3_INDEX_ARCH    91 kernel/arch/amd64/include/arch/mm/page.h #define PTL3_INDEX_ARCH(vaddr)  (((vaddr) >> 12) & 0x1ffU)
PTL3_INDEX_ARCH    85 kernel/arch/arm32/include/arch/mm/page.h #define PTL3_INDEX_ARCH(vaddr)  (((vaddr) >> 12) & 0x0ff)
PTL3_INDEX_ARCH    92 kernel/arch/arm64/include/arch/mm/page.h #define PTL3_INDEX_ARCH(vaddr)  (((vaddr) >> PTL3_VA_SHIFT) & PTL3_VA_MASK)
PTL3_INDEX_ARCH    84 kernel/arch/ia32/include/arch/mm/page.h #define PTL3_INDEX_ARCH(vaddr)  (((vaddr) >> 12) & 0x3ffU)
PTL3_INDEX_ARCH    91 kernel/arch/mips32/include/arch/mm/page.h #define PTL3_INDEX_ARCH(vaddr)  (((vaddr) >> 14) & 0xfff)
PTL3_INDEX_ARCH    80 kernel/arch/ppc32/include/arch/mm/page.h #define PTL3_INDEX_ARCH(vaddr)  (((vaddr) >> 12) & 0x3ff)
PTL3_INDEX_ARCH    81 kernel/arch/riscv64/include/arch/mm/page.h #define PTL3_INDEX_ARCH(vaddr)  (((vaddr) >> 12) & 0x1ff)