HelenOS sources

PTL2_FRAMES        69 kernel/genarch/include/genarch/mm/page_pt.h #define PTL2_SIZE  FRAMES2SIZE(PTL2_FRAMES)
PTL2_FRAMES       107 kernel/genarch/src/mm/page_pt.c 		    PA2KA(frame_alloc(PTL2_FRAMES, FRAME_LOWMEM, PTL2_SIZE - 1));
PTL2_FRAMES       258 kernel/genarch/src/mm/page_pt.c 		frame_free(KA2PA((uintptr_t) ptl2), PTL2_FRAMES);
PTL2_FRAMES       410 kernel/genarch/src/mm/page_pt.c 	frames = PTL2_FRAMES;
HelenOS homepage, sources at GitHub