HelenOS sources

GET_PTL1_ADDRESS  103 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl1 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page)));
GET_PTL1_ADDRESS  172 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl1 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page)));
GET_PTL1_ADDRESS  304 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl1 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page)));
GET_PTL1_ADDRESS  418 kernel/genarch/src/mm/page_pt.c 		if (GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(addr)) != 0) {