GET_PTL1_FLAGS 86 kernel/genarch/src/mm/page_pt.c if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT) { GET_PTL1_FLAGS 169 kernel/genarch/src/mm/page_pt.c if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT) GET_PTL1_FLAGS 299 kernel/genarch/src/mm/page_pt.c if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT)HelenOS homepage, sources at GitHub