HelenOS sources

set_pt_present    110 kernel/arch/abs32le/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl0), (size_t) (i))
set_pt_present    114 kernel/arch/abs32le/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl3), (size_t) (i))
set_pt_present    137 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl0), (size_t) (i))
set_pt_present    139 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl1), (size_t) (i))
set_pt_present    141 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl2), (size_t) (i))
set_pt_present    143 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl3), (size_t) (i))
set_pt_present    141 kernel/arch/arm64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl0), (size_t) (i))
set_pt_present    143 kernel/arch/arm64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl1), (size_t) (i))
set_pt_present    145 kernel/arch/arm64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl2), (size_t) (i))
set_pt_present    147 kernel/arch/arm64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl3), (size_t) (i))
set_pt_present    126 kernel/arch/ia32/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl0), (size_t) (i))
set_pt_present    130 kernel/arch/ia32/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl3), (size_t) (i))
set_pt_present    134 kernel/arch/mips32/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl0), (size_t) (i))
set_pt_present    138 kernel/arch/mips32/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl3), (size_t) (i))
set_pt_present    132 kernel/arch/ppc32/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl0), (size_t) (i))
set_pt_present    138 kernel/arch/ppc32/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl3), (size_t) (i))
set_pt_present    143 kernel/arch/riscv64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl0), (size_t) (i))
set_pt_present    146 kernel/arch/riscv64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl1), (size_t) (i))
set_pt_present    149 kernel/arch/riscv64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl2), (size_t) (i))
set_pt_present    152 kernel/arch/riscv64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl3), (size_t) (i))