HelenOS sources

PTL2_INDEX        122 kernel/genarch/src/mm/page_pt.c 	if (GET_PTL3_FLAGS(ptl2, PTL2_INDEX(page)) & PAGE_NOT_PRESENT) {
PTL2_INDEX        126 kernel/genarch/src/mm/page_pt.c 		SET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page), KA2PA(newpt));
PTL2_INDEX        127 kernel/genarch/src/mm/page_pt.c 		SET_PTL3_FLAGS(ptl2, PTL2_INDEX(page),
PTL2_INDEX        134 kernel/genarch/src/mm/page_pt.c 		SET_PTL3_PRESENT(ptl2, PTL2_INDEX(page));
PTL2_INDEX        137 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page)));
PTL2_INDEX        177 kernel/genarch/src/mm/page_pt.c 	if (GET_PTL3_FLAGS(ptl2, PTL2_INDEX(page)) & PAGE_NOT_PRESENT)
PTL2_INDEX        180 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page)));
PTL2_INDEX        215 kernel/genarch/src/mm/page_pt.c 		memsetb(&ptl2[PTL2_INDEX(page)], sizeof(pte_t), 0);
PTL2_INDEX        316 kernel/genarch/src/mm/page_pt.c 	if (GET_PTL3_FLAGS(ptl2, PTL2_INDEX(page)) & PAGE_NOT_PRESENT)
PTL2_INDEX        326 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page)));