HelenOS sources

PTL0_FRAMES        67 kernel/genarch/include/genarch/mm/page_pt.h #define PTL0_SIZE  FRAMES2SIZE(PTL0_FRAMES)
PTL0_FRAMES        76 kernel/genarch/src/mm/as_pt.c 	    PA2KA(frame_alloc(PTL0_FRAMES, FRAME_LOWMEM, PTL0_SIZE - 1));
PTL0_FRAMES       113 kernel/genarch/src/mm/as_pt.c 	frame_free((uintptr_t) page_table, PTL0_FRAMES);