HelenOS sources

PTL1_SIZE          88 kernel/genarch/src/mm/page_pt.c 		    PA2KA(frame_alloc(PTL1_FRAMES, FRAME_LOWMEM, PTL1_SIZE - 1));
PTL1_SIZE          89 kernel/genarch/src/mm/page_pt.c 		memsetb(newpt, PTL1_SIZE, 0);