GET_PTL2_FLAGS 105 kernel/genarch/src/mm/page_pt.c if (GET_PTL2_FLAGS(ptl1, PTL1_INDEX(page)) & PAGE_NOT_PRESENT) { GET_PTL2_FLAGS 173 kernel/genarch/src/mm/page_pt.c if (GET_PTL2_FLAGS(ptl1, PTL1_INDEX(page)) & PAGE_NOT_PRESENT) GET_PTL2_FLAGS 305 kernel/genarch/src/mm/page_pt.c if (GET_PTL2_FLAGS(ptl1, PTL1_INDEX(page)) & PAGE_NOT_PRESENT)HelenOS homepage, sources at GitHub