HelenOS sources

PTL1_ENTRIES_ARCH   55 kernel/arch/abs32le/include/arch/mm/page.h #define PTL1_ENTRIES_ARCH  0
PTL1_ENTRIES_ARCH   77 kernel/arch/amd64/include/arch/mm/page.h #define PTL1_ENTRIES_ARCH  512
PTL1_ENTRIES_ARCH   70 kernel/arch/arm32/include/arch/mm/page.h #define PTL1_ENTRIES_ARCH       0
PTL1_ENTRIES_ARCH   66 kernel/arch/arm64/include/arch/mm/page.h #define PTL1_ENTRIES_ARCH  512
PTL1_ENTRIES_ARCH   70 kernel/arch/ia32/include/arch/mm/page.h #define PTL1_ENTRIES_ARCH  0
PTL1_ENTRIES_ARCH   77 kernel/arch/mips32/include/arch/mm/page.h #define PTL1_ENTRIES_ARCH  0
PTL1_ENTRIES_ARCH   66 kernel/arch/ppc32/include/arch/mm/page.h #define PTL1_ENTRIES_ARCH  0
PTL1_ENTRIES_ARCH   67 kernel/arch/riscv64/include/arch/mm/page.h #define PTL1_ENTRIES_ARCH  512