HelenOS sources

PTL3_FRAMES        70 kernel/genarch/include/genarch/mm/page_pt.h #define PTL3_SIZE  FRAMES2SIZE(PTL3_FRAMES)
PTL3_FRAMES       124 kernel/genarch/src/mm/page_pt.c 		    PA2KA(frame_alloc(PTL3_FRAMES, FRAME_LOWMEM, PTL2_SIZE - 1));
PTL3_FRAMES       224 kernel/genarch/src/mm/page_pt.c 		frame_free(KA2PA((uintptr_t) ptl3), PTL3_FRAMES);
PTL3_FRAMES       412 kernel/genarch/src/mm/page_pt.c 	frames = PTL3_FRAMES;