HelenOS sources

GET_PTL3_ADDRESS  137 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page)));
GET_PTL3_ADDRESS  180 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page)));
GET_PTL3_ADDRESS  326 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page)));