HelenOS sources

PTL2_SIZE         107 kernel/genarch/src/mm/page_pt.c 		    PA2KA(frame_alloc(PTL2_FRAMES, FRAME_LOWMEM, PTL2_SIZE - 1));
PTL2_SIZE         108 kernel/genarch/src/mm/page_pt.c 		memsetb(newpt, PTL2_SIZE, 0);
PTL2_SIZE         124 kernel/genarch/src/mm/page_pt.c 		    PA2KA(frame_alloc(PTL3_FRAMES, FRAME_LOWMEM, PTL2_SIZE - 1));
PTL2_SIZE         125 kernel/genarch/src/mm/page_pt.c 		memsetb(newpt, PTL2_SIZE, 0);