GET_PTL3_FLAGS 122 kernel/genarch/src/mm/page_pt.c if (GET_PTL3_FLAGS(ptl2, PTL2_INDEX(page)) & PAGE_NOT_PRESENT) { GET_PTL3_FLAGS 177 kernel/genarch/src/mm/page_pt.c if (GET_PTL3_FLAGS(ptl2, PTL2_INDEX(page)) & PAGE_NOT_PRESENT) GET_PTL3_FLAGS 316 kernel/genarch/src/mm/page_pt.c if (GET_PTL3_FLAGS(ptl2, PTL2_INDEX(page)) & PAGE_NOT_PRESENT)HelenOS homepage, sources at GitHub