HelenOS sources

SET_FRAME_FLAGS   140 kernel/genarch/src/mm/page_pt.c 	SET_FRAME_FLAGS(ptl3, PTL3_INDEX(page), flags | PAGE_NOT_PRESENT);
SET_FRAME_FLAGS   189 kernel/genarch/src/mm/page_pt.c 	SET_FRAME_FLAGS(ptl3, PTL3_INDEX(page), PAGE_NOT_PRESENT);