Searched refs:arch_flags_t (Results 1 – 3 of 3) sorted by relevance
| /external/trusty/lk/arch/x86/include/arch/x86/ |
| D | mmu.h | 142 typedef uint64_t arch_flags_t; typedef
148 typedef uint32_t arch_flags_t; typedef
156 vaddr_t vaddr, arch_flags_t in_flags,
157 uint32_t *ret_level, arch_flags_t *ret_flags,
162 arch_flags_t *mmu_flags, map_addr_t *last_valid_entry);
164 status_t x86_mmu_map_range (map_addr_t pt, struct map_range *range, arch_flags_t flags);
166 vaddr_t vaddr, arch_flags_t flags);
|
| /external/trusty/lk/arch/x86/32/ |
| D | mmu.c | 111 arch_flags_t get_x86_arch_flags(arch_flags_t flags) in get_x86_arch_flags()
113 arch_flags_t arch_flags = 0; in get_x86_arch_flags()
134 uint get_arch_mmu_flags(arch_flags_t flags) in get_arch_mmu_flags()
136 arch_flags_t mmu_flags = 0; in get_arch_mmu_flags()
159 arch_flags_t *mmu_flags, map_addr_t *last_valid_entry) in x86_mmu_get_mapping()
237 vaddr_t vaddr, arch_flags_t in_flags, in x86_mmu_check_mapping()
238 uint32_t *ret_level, arch_flags_t *ret_flags, in x86_mmu_check_mapping()
242 arch_flags_t existing_flags = 0; in x86_mmu_check_mapping()
271 static void update_pdp_entry(vaddr_t vaddr, map_addr_t pdpt, map_addr_t *m, arch_flags_t flags) in update_pdp_entry()
282 static void update_pt_entry(vaddr_t vaddr, map_addr_t paddr, map_addr_t pt, arch_flags_t flags) in update_pt_entry()
[all …]
|
| /external/trusty/lk/arch/x86/64/ |
| D | mmu.c | 208 arch_flags_t get_x86_arch_flags(arch_flags_t flags) in get_x86_arch_flags()
210 arch_flags_t arch_flags = 0; in get_x86_arch_flags()
254 uint get_arch_mmu_flags(arch_flags_t flags) in get_arch_mmu_flags()
256 arch_flags_t mmu_flags = 0; in get_arch_mmu_flags()
281 arch_flags_t *mmu_flags, map_addr_t *last_valid_entry) in x86_mmu_get_mapping()
349 vaddr_t vaddr, arch_flags_t in_flags, in x86_mmu_check_mapping()
350 uint32_t *ret_level, arch_flags_t *ret_flags, in x86_mmu_check_mapping()
354 arch_flags_t existing_flags = 0; in x86_mmu_check_mapping()
382 static void update_pt_entry(vaddr_t vaddr, paddr_t paddr, uint64_t pde, arch_flags_t flags) in update_pt_entry()
399 static void update_pd_entry(vaddr_t vaddr, uint64_t pdpe, map_addr_t m, arch_flags_t flags) in update_pd_entry()
[all …]
|