HelenOS sources

PTL0_SIZE          76 kernel/genarch/src/mm/as_pt.c 	    PA2KA(frame_alloc(PTL0_FRAMES, FRAME_LOWMEM, PTL0_SIZE - 1));
PTL0_SIZE          78 kernel/genarch/src/mm/as_pt.c 	memsetb(dst_ptl0, PTL0_SIZE, 0);
PTL0_SIZE          96 kernel/genarch/src/mm/as_pt.c 		    PTL0_SIZE - (src - (uintptr_t) src_ptl0));