Searched defs:pml4e (Results 1 – 2 of 2) sorted by relevance
| /aosp_15_r20/external/trusty/lk/arch/x86/64/ |
| D | mmu.c | 151 static inline uint64_t get_pdp_entry_from_pdp_table(vaddr_t vaddr, uint64_t pml4e) in get_pdp_entry_from_pdp_table()
283 uint64_t pml4e, pdpe, pde, pte; in x86_mmu_get_mapping() local
413 static void update_pdp_entry(vaddr_t vaddr, uint64_t pml4e, map_addr_t m, arch_flags_t flags) in update_pdp_entry()
470 uint64_t pml4e, pdpe, pde; in x86_mmu_add_mapping() local
|
| /aosp_15_r20/external/linux-kselftest/tools/testing/selftests/kvm/lib/x86_64/ |
| H A D | processor.c | 177 uint64_t *pml4e, *pdpe, *pde; in __virt_pg_map() local
249 uint64_t *pml4e, *pdpe, *pde; in _vm_get_page_table_entry() local
334 uint64_t *pml4e, *pml4e_start; in virt_arch_dump() local
516 uint64_t *pml4e, *pdpe, *pde; in addr_arch_gva2gpa() local
|