HelenOS sources

PTL1_INDEX        105 kernel/genarch/src/mm/page_pt.c 	if (GET_PTL2_FLAGS(ptl1, PTL1_INDEX(page)) & PAGE_NOT_PRESENT) {
PTL1_INDEX        109 kernel/genarch/src/mm/page_pt.c 		SET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page), KA2PA(newpt));
PTL1_INDEX        110 kernel/genarch/src/mm/page_pt.c 		SET_PTL2_FLAGS(ptl1, PTL1_INDEX(page),
PTL1_INDEX        117 kernel/genarch/src/mm/page_pt.c 		SET_PTL2_PRESENT(ptl1, PTL1_INDEX(page));
PTL1_INDEX        120 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl2 = (pte_t *) PA2KA(GET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page)));
PTL1_INDEX        173 kernel/genarch/src/mm/page_pt.c 	if (GET_PTL2_FLAGS(ptl1, PTL1_INDEX(page)) & PAGE_NOT_PRESENT)
PTL1_INDEX        176 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl2 = (pte_t *) PA2KA(GET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page)));
PTL1_INDEX        217 kernel/genarch/src/mm/page_pt.c 		memsetb(&ptl1[PTL1_INDEX(page)], sizeof(pte_t), 0);
PTL1_INDEX        251 kernel/genarch/src/mm/page_pt.c 		memsetb(&ptl1[PTL1_INDEX(page)], sizeof(pte_t), 0);
PTL1_INDEX        305 kernel/genarch/src/mm/page_pt.c 	if (GET_PTL2_FLAGS(ptl1, PTL1_INDEX(page)) & PAGE_NOT_PRESENT)
PTL1_INDEX        315 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl2 = (pte_t *) PA2KA(GET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page)));