HelenOS sources
PTL2_ENTRIES_ARCH 56 kernel/arch/abs32le/include/arch/mm/page.h #define PTL2_ENTRIES_ARCH 0
PTL2_ENTRIES_ARCH 78 kernel/arch/amd64/include/arch/mm/page.h #define PTL2_ENTRIES_ARCH 512
PTL2_ENTRIES_ARCH 71 kernel/arch/arm32/include/arch/mm/page.h #define PTL2_ENTRIES_ARCH 0
PTL2_ENTRIES_ARCH 67 kernel/arch/arm64/include/arch/mm/page.h #define PTL2_ENTRIES_ARCH 512
PTL2_ENTRIES_ARCH 71 kernel/arch/ia32/include/arch/mm/page.h #define PTL2_ENTRIES_ARCH 0
PTL2_ENTRIES_ARCH 78 kernel/arch/mips32/include/arch/mm/page.h #define PTL2_ENTRIES_ARCH 0
PTL2_ENTRIES_ARCH 67 kernel/arch/ppc32/include/arch/mm/page.h #define PTL2_ENTRIES_ARCH 0
PTL2_ENTRIES_ARCH 68 kernel/arch/riscv64/include/arch/mm/page.h #define PTL2_ENTRIES_ARCH 512
HelenOS homepage, sources at GitHub