HelenOS sources

PTL1_FRAMES        68 kernel/genarch/include/genarch/mm/page_pt.h #define PTL1_SIZE  FRAMES2SIZE(PTL1_FRAMES)
PTL1_FRAMES        88 kernel/genarch/src/mm/page_pt.c 		    PA2KA(frame_alloc(PTL1_FRAMES, FRAME_LOWMEM, PTL1_SIZE - 1));
PTL1_FRAMES       289 kernel/genarch/src/mm/page_pt.c 		frame_free(KA2PA((uintptr_t) ptl1), PTL1_FRAMES);
PTL1_FRAMES       408 kernel/genarch/src/mm/page_pt.c 	frames = PTL1_FRAMES;
HelenOS homepage, sources at GitHub