HelenOS sources

PTL0_ENTRIES       42 boot/arch/arm32/include/arch/asm.h extern pte_level0_section_t boot_pt[PTL0_ENTRIES];
PTL0_ENTRIES      105 boot/arch/arm32/src/main.c 	clean_dcache_poc(boot_pt, PTL0_ENTRIES * PTL0_ENTRY_SIZE);
PTL0_ENTRIES      198 boot/arch/arm32/src/mm.c 	for (pfn_t page = 0; page < PTL0_ENTRIES; page++) {
PTL0_ENTRIES      200 boot/arch/arm32/src/mm.c 		if (BOOT_BASE < 0x80000000UL && page >= PTL0_ENTRIES / 2)
PTL0_ENTRIES      201 boot/arch/arm32/src/mm.c 			frame -= PTL0_ENTRIES / 2;
PTL0_ENTRIES      378 kernel/genarch/src/mm/page_pt.c 	va_bits = fnzb(PTL0_ENTRIES) + fnzb(PTL1_ENTRIES) + fnzb(PTL2_ENTRIES) +
PTL0_ENTRIES      381 kernel/genarch/src/mm/page_pt.c 	return 1UL << (va_bits - fnzb(PTL0_ENTRIES));