HelenOS sources

set_pt_addr       107 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_addr((pte_t *) (ptl0), (size_t) (i), a)
set_pt_addr       109 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_addr((pte_t *) (ptl1), (size_t) (i), a)
set_pt_addr       111 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_addr((pte_t *) (ptl2), (size_t) (i), a)
set_pt_addr       113 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_addr((pte_t *) (ptl3), (size_t) (i), a)