HelenOS sources

GET_PTL2_ADDRESS  120 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl2 = (pte_t *) PA2KA(GET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page)));
GET_PTL2_ADDRESS  176 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl2 = (pte_t *) PA2KA(GET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page)));
GET_PTL2_ADDRESS  315 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl2 = (pte_t *) PA2KA(GET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page)));