PTL0_ENTRIES 35 boot/arch/arm32/include/arch/arch.h #define PTL0_ENTRIES 4096 PTL0_ENTRIES 55 kernel/genarch/include/genarch/mm/page_pt.h #define PTL0_ENTRIES PTL0_ENTRIES_ARCH