HelenOS sources

PTL0_ENTRIES_ARCH   54 kernel/arch/abs32le/include/arch/mm/page.h #define PTL0_ENTRIES_ARCH  1024
PTL0_ENTRIES_ARCH   76 kernel/arch/amd64/include/arch/mm/page.h #define PTL0_ENTRIES_ARCH  512
PTL0_ENTRIES_ARCH   69 kernel/arch/arm32/include/arch/mm/page.h #define PTL0_ENTRIES_ARCH       (1 << 12)       /* 4096 */
PTL0_ENTRIES_ARCH   65 kernel/arch/arm64/include/arch/mm/page.h #define PTL0_ENTRIES_ARCH  512
PTL0_ENTRIES_ARCH   69 kernel/arch/ia32/include/arch/mm/page.h #define PTL0_ENTRIES_ARCH  1024
PTL0_ENTRIES_ARCH   76 kernel/arch/mips32/include/arch/mm/page.h #define PTL0_ENTRIES_ARCH  64
PTL0_ENTRIES_ARCH   65 kernel/arch/ppc32/include/arch/mm/page.h #define PTL0_ENTRIES_ARCH  1024
PTL0_ENTRIES_ARCH   66 kernel/arch/riscv64/include/arch/mm/page.h #define PTL0_ENTRIES_ARCH  512