HelenOS sources

PTL3_INDEX        139 kernel/genarch/src/mm/page_pt.c 	SET_FRAME_ADDRESS(ptl3, PTL3_INDEX(page), frame);
PTL3_INDEX        140 kernel/genarch/src/mm/page_pt.c 	SET_FRAME_FLAGS(ptl3, PTL3_INDEX(page), flags | PAGE_NOT_PRESENT);
PTL3_INDEX        145 kernel/genarch/src/mm/page_pt.c 	SET_FRAME_PRESENT(ptl3, PTL3_INDEX(page));
PTL3_INDEX        189 kernel/genarch/src/mm/page_pt.c 	SET_FRAME_FLAGS(ptl3, PTL3_INDEX(page), PAGE_NOT_PRESENT);
PTL3_INDEX        190 kernel/genarch/src/mm/page_pt.c 	memsetb(&ptl3[PTL3_INDEX(page)], sizeof(pte_t), 0);
PTL3_INDEX        328 kernel/genarch/src/mm/page_pt.c 	return &ptl3[PTL3_INDEX(page)];