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)HelenOS homepage, sources at GitHub