HelenOS sources

pte_t              73 kernel/arch/abs32le/include/arch/mm/page.h 	((pte_t *) ((((pte_t *) (ptl0))[(i)].frame_address) << 12))
pte_t              79 kernel/arch/abs32le/include/arch/mm/page.h 	((uintptr_t) ((((pte_t *) (ptl3))[(i)].frame_address) << 12))
pte_t              84 kernel/arch/abs32le/include/arch/mm/page.h 	(((pte_t *) (ptl0))[(i)].frame_address = (a) >> 12)
pte_t              88 kernel/arch/abs32le/include/arch/mm/page.h 	(((pte_t *) (ptl3))[(i)].frame_address = (a) >> 12)
pte_t              92 kernel/arch/abs32le/include/arch/mm/page.h 	get_pt_flags((pte_t *) (ptl0), (size_t) (i))
pte_t              98 kernel/arch/abs32le/include/arch/mm/page.h 	get_pt_flags((pte_t *) (ptl3), (size_t) (i))
pte_t             102 kernel/arch/abs32le/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl0), (size_t) (i), (x))
pte_t             106 kernel/arch/abs32le/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl3), (size_t) (i), (x))
pte_t             110 kernel/arch/abs32le/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl0), (size_t) (i))
pte_t             114 kernel/arch/abs32le/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl3), (size_t) (i))
pte_t             149 kernel/arch/abs32le/include/arch/mm/page.h _NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
pte_t             152 kernel/arch/abs32le/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t             163 kernel/arch/abs32le/include/arch/mm/page.h _NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
pte_t             167 kernel/arch/abs32le/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t             182 kernel/arch/abs32le/include/arch/mm/page.h _NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
pte_t             186 kernel/arch/abs32le/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t              95 kernel/arch/amd64/include/arch/mm/page.h 	((pte_t *) (((uint64_t) ((pte_t *) (ptl0))[(i)].addr_12_51) << 12))
pte_t              97 kernel/arch/amd64/include/arch/mm/page.h 	((pte_t *) (((uint64_t) ((pte_t *) (ptl1))[(i)].addr_12_51) << 12))
pte_t              99 kernel/arch/amd64/include/arch/mm/page.h 	((pte_t *) (((uint64_t) ((pte_t *) (ptl2))[(i)].addr_12_51) << 12))
pte_t             101 kernel/arch/amd64/include/arch/mm/page.h 	((uintptr_t *) (((uint64_t) ((pte_t *) (ptl3))[(i)].addr_12_51) << 12))
pte_t             107 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_addr((pte_t *) (ptl0), (size_t) (i), a)
pte_t             109 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_addr((pte_t *) (ptl1), (size_t) (i), a)
pte_t             111 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_addr((pte_t *) (ptl2), (size_t) (i), a)
pte_t             113 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_addr((pte_t *) (ptl3), (size_t) (i), a)
pte_t             117 kernel/arch/amd64/include/arch/mm/page.h 	get_pt_flags((pte_t *) (ptl0), (size_t) (i))
pte_t             119 kernel/arch/amd64/include/arch/mm/page.h 	get_pt_flags((pte_t *) (ptl1), (size_t) (i))
pte_t             121 kernel/arch/amd64/include/arch/mm/page.h 	get_pt_flags((pte_t *) (ptl2), (size_t) (i))
pte_t             123 kernel/arch/amd64/include/arch/mm/page.h 	get_pt_flags((pte_t *) (ptl3), (size_t) (i))
pte_t             127 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl0), (size_t) (i), (x))
pte_t             129 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl1), (size_t) (i), (x))
pte_t             131 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl2), (size_t) (i), (x))
pte_t             133 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl3), (size_t) (i), (x))
pte_t             137 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl0), (size_t) (i))
pte_t             139 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl1), (size_t) (i))
pte_t             141 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl2), (size_t) (i))
pte_t             143 kernel/arch/amd64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl3), (size_t) (i))
pte_t             203 kernel/arch/amd64/include/arch/mm/page.h _NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
pte_t             205 kernel/arch/amd64/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t             217 kernel/arch/amd64/include/arch/mm/page.h _NO_TRACE static inline void set_pt_addr(pte_t *pt, size_t i, uintptr_t a)
pte_t             219 kernel/arch/amd64/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t             224 kernel/arch/amd64/include/arch/mm/page.h _NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
pte_t             226 kernel/arch/amd64/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t             250 kernel/arch/amd64/include/arch/mm/page.h _NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
pte_t             252 kernel/arch/amd64/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t              89 kernel/arch/arm32/include/arch/mm/page.h         ((pte_t *) ((((pte_t *)(ptl0))[(i)].l0).coarse_table_addr << 10))
pte_t              95 kernel/arch/arm32/include/arch/mm/page.h         ((uintptr_t) ((((pte_t *)(ptl3))[(i)].l1).frame_base_addr << 12))
pte_t              99 kernel/arch/arm32/include/arch/mm/page.h 	set_ptl0_addr((pte_t *) (ptl0))
pte_t             101 kernel/arch/arm32/include/arch/mm/page.h 	set_ptl1_addr((pte_t*) (ptl0), i, a)
pte_t             105 kernel/arch/arm32/include/arch/mm/page.h 	set_ptl3_addr((pte_t*) (ptl3), i, a)
pte_t             109 kernel/arch/arm32/include/arch/mm/page.h         get_pt_level0_flags((pte_t *) (ptl0), (size_t) (i))
pte_t             115 kernel/arch/arm32/include/arch/mm/page.h         get_pt_level1_flags((pte_t *) (ptl3), (size_t) (i))
pte_t             119 kernel/arch/arm32/include/arch/mm/page.h         set_pt_level0_flags((pte_t *) (ptl0), (size_t) (i), (x))
pte_t             123 kernel/arch/arm32/include/arch/mm/page.h 	set_pt_level1_flags((pte_t *) (ptl3), (size_t) (i), (x))
pte_t             127 kernel/arch/arm32/include/arch/mm/page.h 	set_pt_level0_present((pte_t *) (ptl0), (size_t) (i))
pte_t             131 kernel/arch/arm32/include/arch/mm/page.h 	set_pt_level1_present((pte_t *) (ptl3), (size_t) (i))
pte_t             153 kernel/arch/arm32/include/arch/mm/page.h _NO_TRACE static inline void set_ptl0_addr(pte_t *pt)
pte_t             166 kernel/arch/arm32/include/arch/mm/page.h _NO_TRACE static inline void set_ptl1_addr(pte_t *pt, size_t i, uintptr_t address)
pte_t             172 kernel/arch/arm32/include/arch/mm/page.h _NO_TRACE static inline void set_ptl3_addr(pte_t *pt, size_t i, uintptr_t address)
pte_t              48 kernel/arch/arm32/include/arch/mm/page_armv4.h 	(((pte_t *) (pte))->l0.should_be_zero != 0 || PTE_PRESENT_ARCH(pte))
pte_t              50 kernel/arch/arm32/include/arch/mm/page_armv4.h 	(((pte_t *) (pte))->l0.descriptor_type != 0)
pte_t              52 kernel/arch/arm32/include/arch/mm/page_armv4.h 	(((uintptr_t) ((pte_t *) (pte))->l1.frame_base_addr) << FRAME_WIDTH)
pte_t              54 kernel/arch/arm32/include/arch/mm/page_armv4.h 	(((pte_t *) (pte))->l1.access_permission_0 == PTE_AP_USER_RW_KERNEL_RW)
pte_t             139 kernel/arch/arm32/include/arch/mm/page_armv4.h _NO_TRACE static inline int get_pt_level0_flags(pte_t *pt, size_t i)
pte_t             155 kernel/arch/arm32/include/arch/mm/page_armv4.h _NO_TRACE static inline int get_pt_level1_flags(pte_t *pt, size_t i)
pte_t             180 kernel/arch/arm32/include/arch/mm/page_armv4.h _NO_TRACE static inline void set_pt_level0_flags(pte_t *pt, size_t i, int flags)
pte_t             208 kernel/arch/arm32/include/arch/mm/page_armv4.h _NO_TRACE static inline void set_pt_level1_flags(pte_t *pt, size_t i, int flags)
pte_t             238 kernel/arch/arm32/include/arch/mm/page_armv4.h _NO_TRACE static inline void set_pt_level0_present(pte_t *pt, size_t i)
pte_t             247 kernel/arch/arm32/include/arch/mm/page_armv4.h _NO_TRACE static inline void set_pt_level1_present(pte_t *pt, size_t i)
pte_t              45 kernel/arch/arm32/include/arch/mm/page_armv6.h 	(((pte_t *) (pte))->l0.should_be_zero_0 != 0 || PTE_PRESENT_ARCH(pte))
pte_t              47 kernel/arch/arm32/include/arch/mm/page_armv6.h 	(((pte_t *) (pte))->l0.descriptor_type != 0)
pte_t              49 kernel/arch/arm32/include/arch/mm/page_armv6.h 	(((uintptr_t) ((pte_t *) (pte))->l1.frame_base_addr) << FRAME_WIDTH)
pte_t              51 kernel/arch/arm32/include/arch/mm/page_armv6.h 	(((pte_t *) (pte))->l1.access_permission_1 != PTE_AP1_RO)
pte_t              53 kernel/arch/arm32/include/arch/mm/page_armv6.h 	(((pte_t *) (pte))->l1.descriptor_type != PTE_DESCRIPTOR_SMALL_PAGE_NX)
pte_t             166 kernel/arch/arm32/include/arch/mm/page_armv6.h _NO_TRACE static inline int get_pt_level0_flags(pte_t *pt, size_t i)
pte_t             182 kernel/arch/arm32/include/arch/mm/page_armv6.h _NO_TRACE static inline int get_pt_level1_flags(pte_t *pt, size_t i)
pte_t             208 kernel/arch/arm32/include/arch/mm/page_armv6.h _NO_TRACE static inline void set_pt_level0_flags(pte_t *pt, size_t i, int flags)
pte_t             241 kernel/arch/arm32/include/arch/mm/page_armv6.h _NO_TRACE static inline void set_pt_level1_flags(pte_t *pt, size_t i, int flags)
pte_t             299 kernel/arch/arm32/include/arch/mm/page_armv6.h _NO_TRACE static inline void set_pt_level0_present(pte_t *pt, size_t i)
pte_t             309 kernel/arch/arm32/include/arch/mm/page_armv6.h _NO_TRACE static inline void set_pt_level1_present(pte_t *pt, size_t i)
pte_t              96 kernel/arch/arm64/include/arch/mm/page.h 	((pte_t *) (((uintptr_t) ((pte_t *) (ptl0))[(i)].output_address) << 12))
pte_t              98 kernel/arch/arm64/include/arch/mm/page.h 	((pte_t *) (((uintptr_t) ((pte_t *) (ptl1))[(i)].output_address) << 12))
pte_t             100 kernel/arch/arm64/include/arch/mm/page.h 	((pte_t *) (((uintptr_t) ((pte_t *) (ptl2))[(i)].output_address) << 12))
pte_t             102 kernel/arch/arm64/include/arch/mm/page.h 	(((uintptr_t) ((pte_t *) (ptl3))[(i)].output_address) << 12)
pte_t             111 kernel/arch/arm64/include/arch/mm/page.h 	(((pte_t *) (ptl0))[(i)].output_address = (a) >> 12)
pte_t             113 kernel/arch/arm64/include/arch/mm/page.h 	(((pte_t *) (ptl1))[(i)].output_address = (a) >> 12)
pte_t             115 kernel/arch/arm64/include/arch/mm/page.h 	(((pte_t *) (ptl2))[(i)].output_address = (a) >> 12)
pte_t             117 kernel/arch/arm64/include/arch/mm/page.h 	(((pte_t *) (ptl3))[(i)].output_address = (a) >> 12)
pte_t             121 kernel/arch/arm64/include/arch/mm/page.h 	get_pt_level012_flags((pte_t *) (ptl0), (size_t) (i))
pte_t             123 kernel/arch/arm64/include/arch/mm/page.h 	get_pt_level012_flags((pte_t *) (ptl1), (size_t) (i))
pte_t             125 kernel/arch/arm64/include/arch/mm/page.h 	get_pt_level012_flags((pte_t *) (ptl2), (size_t) (i))
pte_t             127 kernel/arch/arm64/include/arch/mm/page.h 	get_pt_level3_flags((pte_t *) (ptl3), (size_t) (i))
pte_t             131 kernel/arch/arm64/include/arch/mm/page.h 	set_pt_level012_flags((pte_t *) (ptl0), (size_t) (i), (x))
pte_t             133 kernel/arch/arm64/include/arch/mm/page.h 	set_pt_level012_flags((pte_t *) (ptl1), (size_t) (i), (x))
pte_t             135 kernel/arch/arm64/include/arch/mm/page.h 	set_pt_level012_flags((pte_t *) (ptl2), (size_t) (i), (x))
pte_t             137 kernel/arch/arm64/include/arch/mm/page.h 	set_pt_level3_flags((pte_t *) (ptl3), (size_t) (i), (x))
pte_t             141 kernel/arch/arm64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl0), (size_t) (i))
pte_t             143 kernel/arch/arm64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl1), (size_t) (i))
pte_t             145 kernel/arch/arm64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl2), (size_t) (i))
pte_t             147 kernel/arch/arm64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl3), (size_t) (i))
pte_t             151 kernel/arch/arm64/include/arch/mm/page.h 	(((pte_t *) (pte))->valid != 0)
pte_t             153 kernel/arch/arm64/include/arch/mm/page.h 	(((pte_t *) (pte))->valid != 0)
pte_t             155 kernel/arch/arm64/include/arch/mm/page.h 	(((uintptr_t) ((pte_t *) (pte))->output_address) << FRAME_WIDTH)
pte_t             157 kernel/arch/arm64/include/arch/mm/page.h 	get_pt_writable((pte_t *) (pte))
pte_t             159 kernel/arch/arm64/include/arch/mm/page.h 	get_pt_executable((pte_t *) (pte))
pte_t             294 kernel/arch/arm64/include/arch/mm/page.h _NO_TRACE static inline unsigned int get_pt_level012_flags(pte_t *pt, size_t i)
pte_t             296 kernel/arch/arm64/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t             309 kernel/arch/arm64/include/arch/mm/page.h _NO_TRACE static inline unsigned int get_pt_level3_flags(pte_t *pt, size_t i)
pte_t             311 kernel/arch/arm64/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t             333 kernel/arch/arm64/include/arch/mm/page.h _NO_TRACE static inline void set_pt_level012_flags(pte_t *pt, size_t i,
pte_t             336 kernel/arch/arm64/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t             348 kernel/arch/arm64/include/arch/mm/page.h _NO_TRACE static inline void set_pt_level3_flags(pte_t *pt, size_t i,
pte_t             351 kernel/arch/arm64/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t             385 kernel/arch/arm64/include/arch/mm/page.h _NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
pte_t             387 kernel/arch/arm64/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t             396 kernel/arch/arm64/include/arch/mm/page.h _NO_TRACE static inline bool get_pt_executable(pte_t *pte)
pte_t             409 kernel/arch/arm64/include/arch/mm/page.h _NO_TRACE static inline bool get_pt_writable(pte_t *pte)
pte_t              88 kernel/arch/ia32/include/arch/mm/page.h 	((pte_t *) ((((pte_t *) (ptl0))[(i)].frame_address) << 12))
pte_t              94 kernel/arch/ia32/include/arch/mm/page.h 	((uintptr_t) ((((pte_t *) (ptl3))[(i)].frame_address) << 12))
pte_t             100 kernel/arch/ia32/include/arch/mm/page.h 	(((pte_t *) (ptl0))[(i)].frame_address = (a) >> 12)
pte_t             104 kernel/arch/ia32/include/arch/mm/page.h 	(((pte_t *) (ptl3))[(i)].frame_address = (a) >> 12)
pte_t             108 kernel/arch/ia32/include/arch/mm/page.h 	get_pt_flags((pte_t *) (ptl0), (size_t) (i))
pte_t             114 kernel/arch/ia32/include/arch/mm/page.h 	get_pt_flags((pte_t *) (ptl3), (size_t) (i))
pte_t             118 kernel/arch/ia32/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl0), (size_t) (i), (x))
pte_t             122 kernel/arch/ia32/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl3), (size_t) (i), (x))
pte_t             126 kernel/arch/ia32/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl0), (size_t) (i))
pte_t             130 kernel/arch/ia32/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl3), (size_t) (i))
pte_t             182 kernel/arch/ia32/include/arch/mm/page.h _NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
pte_t             184 kernel/arch/ia32/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t             196 kernel/arch/ia32/include/arch/mm/page.h _NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
pte_t             198 kernel/arch/ia32/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t             222 kernel/arch/ia32/include/arch/mm/page.h _NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
pte_t             224 kernel/arch/ia32/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t              85 kernel/arch/ia64/include/arch/mm/tlb.h extern void dtc_pte_copy(pte_t *t);
pte_t              86 kernel/arch/ia64/include/arch/mm/tlb.h extern void itc_pte_copy(pte_t *t);
pte_t             414 kernel/arch/ia64/src/mm/tlb.c void dtc_pte_copy(pte_t *t)
pte_t             442 kernel/arch/ia64/src/mm/tlb.c void itc_pte_copy(pte_t *t)
pte_t             487 kernel/arch/ia64/src/mm/tlb.c 	pte_t t;
pte_t             604 kernel/arch/ia64/src/mm/tlb.c 	pte_t t;
pte_t             648 kernel/arch/ia64/src/mm/tlb.c 	pte_t t;
pte_t             683 kernel/arch/ia64/src/mm/tlb.c 	pte_t t;
pte_t             716 kernel/arch/ia64/src/mm/tlb.c 	pte_t t;
pte_t             755 kernel/arch/ia64/src/mm/tlb.c 	pte_t t;
pte_t             782 kernel/arch/ia64/src/mm/tlb.c 	pte_t t;
pte_t              98 kernel/arch/mips32/include/arch/mm/page.h 	(((pte_t *) (ptl0))[(i)].pfn << 12)
pte_t             104 kernel/arch/mips32/include/arch/mm/page.h 	(((pte_t *) (ptl3))[(i)].pfn << 12)
pte_t             108 kernel/arch/mips32/include/arch/mm/page.h 	(((pte_t *) (ptl0))[(i)].pfn = (a) >> 12)
pte_t             112 kernel/arch/mips32/include/arch/mm/page.h 	(((pte_t *) (ptl3))[(i)].pfn = (a) >> 12)
pte_t             116 kernel/arch/mips32/include/arch/mm/page.h 	get_pt_flags((pte_t *) (ptl0), (size_t) (i))
pte_t             122 kernel/arch/mips32/include/arch/mm/page.h 	get_pt_flags((pte_t *) (ptl3), (size_t) (i))
pte_t             126 kernel/arch/mips32/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl0), (size_t) (i), (x))
pte_t             130 kernel/arch/mips32/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl3), (size_t) (i), (x))
pte_t             134 kernel/arch/mips32/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl0), (size_t) (i))
pte_t             138 kernel/arch/mips32/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl3), (size_t) (i))
pte_t             165 kernel/arch/mips32/include/arch/mm/page.h _NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
pte_t             167 kernel/arch/mips32/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t             178 kernel/arch/mips32/include/arch/mm/page.h _NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
pte_t             180 kernel/arch/mips32/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t             193 kernel/arch/mips32/include/arch/mm/page.h _NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
pte_t             195 kernel/arch/mips32/include/arch/mm/page.h 	pte_t *p = &pt[i];
pte_t              99 kernel/arch/mips32/src/mm/tlb.c 	pte_t pte;
pte_t             142 kernel/arch/mips32/src/mm/tlb.c 	pte_t pte;
pte_t             206 kernel/arch/mips32/src/mm/tlb.c 	pte_t pte;
pte_t              84 kernel/arch/ppc32/include/arch/mm/page.h 	(((pte_t *) (ptl0))[(i)].pfn << 12)
pte_t              93 kernel/arch/ppc32/include/arch/mm/page.h 	(((pte_t *) (ptl3))[(i)].pfn << 12)
pte_t              99 kernel/arch/ppc32/include/arch/mm/page.h 	(((pte_t *) (ptl0))[(i)].pfn = (a) >> 12)
pte_t             105 kernel/arch/ppc32/include/arch/mm/page.h 	(((pte_t *) (ptl3))[(i)].pfn = (a) >> 12)
pte_t             109 kernel/arch/ppc32/include/arch/mm/page.h 	get_pt_flags((pte_t *) (ptl0), (size_t) (i))
pte_t             118 kernel/arch/ppc32/include/arch/mm/page.h 	get_pt_flags((pte_t *) (ptl3), (size_t) (i))
pte_t             122 kernel/arch/ppc32/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl0), (size_t) (i), (x))
pte_t             128 kernel/arch/ppc32/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl3), (size_t) (i), (x))
pte_t             132 kernel/arch/ppc32/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl0), (size_t) (i))
pte_t             138 kernel/arch/ppc32/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl3), (size_t) (i))
pte_t             164 kernel/arch/ppc32/include/arch/mm/page.h _NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
pte_t             166 kernel/arch/ppc32/include/arch/mm/page.h 	pte_t *entry = &pt[i];
pte_t             177 kernel/arch/ppc32/include/arch/mm/page.h _NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
pte_t             179 kernel/arch/ppc32/include/arch/mm/page.h 	pte_t *entry = &pt[i];
pte_t             187 kernel/arch/ppc32/include/arch/mm/page.h _NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
pte_t             189 kernel/arch/ppc32/include/arch/mm/page.h 	pte_t *entry = &pt[i];
pte_t              58 kernel/arch/ppc32/src/mm/pht.c     istate_t *istate, pte_t *pte)
pte_t              91 kernel/arch/ppc32/src/mm/pht.c static void pht_insert(const uintptr_t vaddr, const pte_t *pte)
pte_t             189 kernel/arch/ppc32/src/mm/pht.c 	pte_t pte;
pte_t              88 kernel/arch/riscv64/include/arch/mm/page.h 	(((pte_t *) (ptl0))[(i)].pfn << 12)
pte_t              91 kernel/arch/riscv64/include/arch/mm/page.h 	(((pte_t *) (ptl1))[(i)].pfn << 12)
pte_t              94 kernel/arch/riscv64/include/arch/mm/page.h 	(((pte_t *) (ptl2))[(i)].pfn << 12)
pte_t              97 kernel/arch/riscv64/include/arch/mm/page.h 	(((pte_t *) (ptl3))[(i)].pfn << 12)
pte_t             104 kernel/arch/riscv64/include/arch/mm/page.h 	(((pte_t *) (ptl0))[(i)].pfn = (a) >> 12)
pte_t             107 kernel/arch/riscv64/include/arch/mm/page.h 	(((pte_t *) (ptl1))[(i)].pfn = (a) >> 12)
pte_t             110 kernel/arch/riscv64/include/arch/mm/page.h 	(((pte_t *) (ptl2))[(i)].pfn = (a) >> 12)
pte_t             113 kernel/arch/riscv64/include/arch/mm/page.h 	(((pte_t *) (ptl3))[(i)].pfn = (a) >> 12)
pte_t             117 kernel/arch/riscv64/include/arch/mm/page.h 	get_pt_flags((pte_t *) (ptl0), (size_t) (i))
pte_t             120 kernel/arch/riscv64/include/arch/mm/page.h 	get_pt_flags((pte_t *) (ptl1), (size_t) (i))
pte_t             123 kernel/arch/riscv64/include/arch/mm/page.h 	get_pt_flags((pte_t *) (ptl2), (size_t) (i))
pte_t             126 kernel/arch/riscv64/include/arch/mm/page.h 	get_pt_flags((pte_t *) (ptl3), (size_t) (i))
pte_t             130 kernel/arch/riscv64/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl0), (size_t) (i), ((flags) & NON_LEAF_MASK))
pte_t             133 kernel/arch/riscv64/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl1), (size_t) (i), ((flags) & NON_LEAF_MASK))
pte_t             136 kernel/arch/riscv64/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl2), (size_t) (i), ((flags) & NON_LEAF_MASK))
pte_t             139 kernel/arch/riscv64/include/arch/mm/page.h 	set_pt_flags((pte_t *) (ptl3), (size_t) (i), (flags))
pte_t             143 kernel/arch/riscv64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl0), (size_t) (i))
pte_t             146 kernel/arch/riscv64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl1), (size_t) (i))
pte_t             149 kernel/arch/riscv64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl2), (size_t) (i))
pte_t             152 kernel/arch/riscv64/include/arch/mm/page.h 	set_pt_present((pte_t *) (ptl3), (size_t) (i))
pte_t             181 kernel/arch/riscv64/include/arch/mm/page.h _NO_TRACE static inline unsigned int get_pt_flags(pte_t *pt, size_t i)
pte_t             183 kernel/arch/riscv64/include/arch/mm/page.h 	pte_t *entry = &pt[i];
pte_t             193 kernel/arch/riscv64/include/arch/mm/page.h _NO_TRACE static inline void set_pt_flags(pte_t *pt, size_t i, int flags)
pte_t             195 kernel/arch/riscv64/include/arch/mm/page.h 	pte_t *entry = &pt[i];
pte_t             207 kernel/arch/riscv64/include/arch/mm/page.h _NO_TRACE static inline void set_pt_present(pte_t *pt, size_t i)
pte_t             209 kernel/arch/riscv64/include/arch/mm/page.h 	pte_t *entry = &pt[i];
pte_t              59 kernel/arch/sparc64/src/mm/sun4u/tlb.c static void dtlb_pte_copy(pte_t *, size_t, bool);
pte_t              60 kernel/arch/sparc64/src/mm/sun4u/tlb.c static void itlb_pte_copy(pte_t *, size_t);
pte_t             130 kernel/arch/sparc64/src/mm/sun4u/tlb.c void dtlb_pte_copy(pte_t *t, size_t index, bool ro)
pte_t             167 kernel/arch/sparc64/src/mm/sun4u/tlb.c void itlb_pte_copy(pte_t *t, size_t index)
pte_t             200 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	pte_t t;
pte_t             239 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	pte_t t;
pte_t             292 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	pte_t t;
pte_t              81 kernel/arch/sparc64/src/mm/sun4u/tsb.c void itsb_pte_copy(pte_t *t, size_t index)
pte_t             125 kernel/arch/sparc64/src/mm/sun4u/tsb.c void dtsb_pte_copy(pte_t *t, size_t index, bool ro)
pte_t              64 kernel/arch/sparc64/src/mm/sun4v/tlb.c static void itlb_pte_copy(pte_t *);
pte_t              65 kernel/arch/sparc64/src/mm/sun4v/tlb.c static void dtlb_pte_copy(pte_t *, bool);
pte_t             162 kernel/arch/sparc64/src/mm/sun4v/tlb.c void dtlb_pte_copy(pte_t *t, bool ro)
pte_t             189 kernel/arch/sparc64/src/mm/sun4v/tlb.c void itlb_pte_copy(pte_t *t)
pte_t             214 kernel/arch/sparc64/src/mm/sun4v/tlb.c 	pte_t t;
pte_t             249 kernel/arch/sparc64/src/mm/sun4v/tlb.c 	pte_t t;
pte_t             296 kernel/arch/sparc64/src/mm/sun4v/tlb.c 	pte_t t;
pte_t              80 kernel/arch/sparc64/src/mm/sun4v/tsb.c void itsb_pte_copy(pte_t *t)
pte_t             127 kernel/arch/sparc64/src/mm/sun4v/tsb.c void dtsb_pte_copy(pte_t *t, bool ro)
pte_t              44 kernel/genarch/include/genarch/mm/as_pt.h 	pte_t *page_table;
pte_t             146 kernel/genarch/include/genarch/mm/page_pt.h extern pte_t *page_mapping_find_pt(as_t *, uintptr_t, bool);
pte_t              48 kernel/genarch/src/mm/as_ht.c static pte_t *ht_create(unsigned int);
pte_t              49 kernel/genarch/src/mm/as_ht.c static void ht_destroy(pte_t *);
pte_t              73 kernel/genarch/src/mm/as_ht.c pte_t *ht_create(unsigned int flags)
pte_t              77 kernel/genarch/src/mm/as_ht.c 		pte_cache = slab_cache_create("pte_t", sizeof(pte_t), 0,
pte_t              91 kernel/genarch/src/mm/as_ht.c void ht_destroy(pte_t *page_table)
pte_t              49 kernel/genarch/src/mm/as_pt.c static pte_t *ptl0_create(unsigned int);
pte_t              50 kernel/genarch/src/mm/as_pt.c static void ptl0_destroy(pte_t *);
pte_t              73 kernel/genarch/src/mm/as_pt.c pte_t *ptl0_create(unsigned int flags)
pte_t              75 kernel/genarch/src/mm/as_pt.c 	pte_t *dst_ptl0 = (pte_t *)
pte_t              87 kernel/genarch/src/mm/as_pt.c 		pte_t *src_ptl0 =
pte_t              88 kernel/genarch/src/mm/as_pt.c 		    (pte_t *) PA2KA((uintptr_t) AS_KERNEL->genarch.page_table);
pte_t             101 kernel/genarch/src/mm/as_pt.c 	return (pte_t *) KA2PA((uintptr_t) dst_ptl0);
pte_t             111 kernel/genarch/src/mm/as_pt.c void ptl0_destroy(pte_t *page_table)
pte_t              62 kernel/genarch/src/mm/page_ht.c static bool ht_mapping_find(as_t *, uintptr_t, bool, pte_t *);
pte_t              63 kernel/genarch/src/mm/page_ht.c static void ht_mapping_update(as_t *, uintptr_t, bool, pte_t *);
pte_t             103 kernel/genarch/src/mm/page_ht.c 	pte_t *pte = hash_table_get_inst(item, pte_t, link);
pte_t             124 kernel/genarch/src/mm/page_ht.c 	pte_t *pte = hash_table_get_inst(item, pte_t, link);
pte_t             138 kernel/genarch/src/mm/page_ht.c 	pte_t *pte = hash_table_get_inst(item, pte_t, link);
pte_t             166 kernel/genarch/src/mm/page_ht.c 		pte_t *pte = slab_alloc(pte_cache, FRAME_LOWMEM | FRAME_ATOMIC);
pte_t             224 kernel/genarch/src/mm/page_ht.c static pte_t *ht_mapping_find_internal(as_t *as, uintptr_t page, bool nolock)
pte_t             235 kernel/genarch/src/mm/page_ht.c 		return hash_table_get_inst(cur, pte_t, link);
pte_t             249 kernel/genarch/src/mm/page_ht.c bool ht_mapping_find(as_t *as, uintptr_t page, bool nolock, pte_t *pte)
pte_t             253 kernel/genarch/src/mm/page_ht.c 	pte_t *t = ht_mapping_find_internal(as, page, nolock);
pte_t             269 kernel/genarch/src/mm/page_ht.c void ht_mapping_update(as_t *as, uintptr_t page, bool nolock, pte_t *pte)
pte_t             273 kernel/genarch/src/mm/page_ht.c 	pte_t *t = ht_mapping_find_internal(as, page, nolock);
pte_t              56 kernel/genarch/src/mm/page_pt.c static bool pt_mapping_find(as_t *, uintptr_t, bool, pte_t *pte);
pte_t              57 kernel/genarch/src/mm/page_pt.c static void pt_mapping_update(as_t *, uintptr_t, bool, pte_t *pte);
pte_t              82 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl0 = (pte_t *) PA2KA((uintptr_t) as->genarch.page_table);
pte_t              87 kernel/genarch/src/mm/page_pt.c 		pte_t *newpt = (pte_t *)
pte_t             103 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl1 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page)));
pte_t             106 kernel/genarch/src/mm/page_pt.c 		pte_t *newpt = (pte_t *)
pte_t             120 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl2 = (pte_t *) PA2KA(GET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page)));
pte_t             123 kernel/genarch/src/mm/page_pt.c 		pte_t *newpt = (pte_t *)
pte_t             137 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page)));
pte_t             168 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl0 = (pte_t *) PA2KA((uintptr_t) as->genarch.page_table);
pte_t             172 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl1 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page)));
pte_t             176 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl2 = (pte_t *) PA2KA(GET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page)));
pte_t             180 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page)));
pte_t             190 kernel/genarch/src/mm/page_pt.c 	memsetb(&ptl3[PTL3_INDEX(page)], sizeof(pte_t), 0);
pte_t             215 kernel/genarch/src/mm/page_pt.c 		memsetb(&ptl2[PTL2_INDEX(page)], sizeof(pte_t), 0);
pte_t             217 kernel/genarch/src/mm/page_pt.c 		memsetb(&ptl1[PTL1_INDEX(page)], sizeof(pte_t), 0);
pte_t             222 kernel/genarch/src/mm/page_pt.c 		memsetb(&ptl0[PTL0_INDEX(page)], sizeof(pte_t), 0);
pte_t             251 kernel/genarch/src/mm/page_pt.c 		memsetb(&ptl1[PTL1_INDEX(page)], sizeof(pte_t), 0);
pte_t             256 kernel/genarch/src/mm/page_pt.c 		memsetb(&ptl0[PTL0_INDEX(page)], sizeof(pte_t), 0);
pte_t             288 kernel/genarch/src/mm/page_pt.c 		memsetb(&ptl0[PTL0_INDEX(page)], sizeof(pte_t), 0);
pte_t             294 kernel/genarch/src/mm/page_pt.c static pte_t *pt_mapping_find_internal(as_t *as, uintptr_t page, bool nolock)
pte_t             298 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl0 = (pte_t *) PA2KA((uintptr_t) as->genarch.page_table);
pte_t             304 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl1 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page)));
pte_t             315 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl2 = (pte_t *) PA2KA(GET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page)));
pte_t             326 kernel/genarch/src/mm/page_pt.c 	pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page)));
pte_t             340 kernel/genarch/src/mm/page_pt.c bool pt_mapping_find(as_t *as, uintptr_t page, bool nolock, pte_t *pte)
pte_t             342 kernel/genarch/src/mm/page_pt.c 	pte_t *t = pt_mapping_find_internal(as, page, nolock);
pte_t             355 kernel/genarch/src/mm/page_pt.c void pt_mapping_update(as_t *as, uintptr_t page, bool nolock, pte_t *pte)
pte_t             357 kernel/genarch/src/mm/page_pt.c 	pte_t *t = pt_mapping_find_internal(as, page, nolock);
pte_t             137 kernel/generic/include/mm/as.h 	pte_t *(*page_table_create)(unsigned int);
pte_t             138 kernel/generic/include/mm/as.h 	void (*page_table_destroy)(pte_t *);
pte_t              50 kernel/generic/include/mm/page.h 	bool (*mapping_find)(as_t *, uintptr_t, bool, pte_t *);
pte_t              51 kernel/generic/include/mm/page.h 	void (*mapping_update)(as_t *, uintptr_t, bool, pte_t *);
pte_t              63 kernel/generic/include/mm/page.h extern bool page_mapping_find(as_t *, uintptr_t, bool, pte_t *);
pte_t              64 kernel/generic/include/mm/page.h extern void page_mapping_update(as_t *, uintptr_t, bool, pte_t *);
pte_t              66 kernel/generic/include/mm/page.h extern pte_t *page_table_create(unsigned int);
pte_t              67 kernel/generic/include/mm/page.h extern void page_table_destroy(pte_t *);
pte_t              72 kernel/generic/src/ipc/ops/pagein.c 		pte_t pte;
pte_t            1008 kernel/generic/src/mm/as.c 				pte_t pte;
pte_t            1118 kernel/generic/src/mm/as.c 			pte_t pte;
pte_t            1422 kernel/generic/src/mm/as.c 			pte_t pte;
pte_t            1560 kernel/generic/src/mm/as.c 	pte_t pte;
pte_t            1753 kernel/generic/src/mm/as.c _NO_TRACE pte_t *page_table_create(unsigned int flags)
pte_t            1768 kernel/generic/src/mm/as.c _NO_TRACE void page_table_destroy(pte_t *page_table)
pte_t             130 kernel/generic/src/mm/backend_anon.c 			pte_t pte;
pte_t             192 kernel/generic/src/mm/backend_elf.c 			pte_t pte;
pte_t             335 kernel/generic/src/mm/backend_elf.c 			pte_t pte;
pte_t             147 kernel/generic/src/mm/page.c     pte_t *pte)
pte_t             168 kernel/generic/src/mm/page.c     pte_t *pte)
pte_t             196 kernel/generic/src/mm/page.c 	pte_t pte;
HelenOS homepage, sources at GitHub