HelenOS sources

SET_PTL1_ADDRESS   90 kernel/genarch/src/mm/page_pt.c 		SET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page), KA2PA(newpt));
SET_PTL1_ADDRESS  431 kernel/genarch/src/mm/page_pt.c 		SET_PTL1_ADDRESS(ptl0, PTL0_INDEX(addr), KA2PA(l1));