Searched refs:pml4e (Results 1 – 4 of 4) sorted by relevance
| /hypervisor/arch/x86/ |
| A D | pagetable.c | 264 uint64_t *pdpt_page = pml4e_page_vaddr(*pml4e); in modify_or_del_pdpte()
362 uint64_t *pml4e; in pgtable_modify_or_del_map() local
370 pml4e = pml4e_offset(pml4_page, vaddr); in pgtable_modify_or_del_map()
468 uint64_t *pdpt_page = pml4e_page_vaddr(*pml4e); in add_pdpte()
556 uint64_t *pml4e; in pgtable_add_map() local
567 pml4e = pml4e_offset(pml4_page, vaddr); in pgtable_add_map()
568 if (!pgentry_present(table, (*pml4e))) { in pgtable_add_map()
713 uint64_t *pml4e, *pdpte, *pde, *pte; in pgtable_lookup_entry() local
715 pml4e = pml4e_offset(pml4_page, addr); in pgtable_lookup_entry()
716 present = pgentry_present(table, (*pml4e)); in pgtable_lookup_entry()
[all …]
|
| /hypervisor/include/arch/x86/asm/ |
| A D | pgtable.h | 357 static inline uint64_t *pml4e_page_vaddr(uint64_t pml4e) in pml4e_page_vaddr() argument
359 return hpa2hva(pml4e & PML4E_PFN_MASK); in pml4e_page_vaddr()
417 static inline uint64_t *pdpte_offset(const uint64_t *pml4e, uint64_t addr) in pdpte_offset() argument
419 return pml4e_page_vaddr(*pml4e) + pdpte_index(addr); in pdpte_offset()
|
| /hypervisor/debug/ |
| A D | uart16550.c | 129 uint64_t *pml4e, *pdpte, *pde; in early_pgtable_map_uart() local
135 pml4e = pml4e_offset((uint64_t *)value, addr); in early_pgtable_map_uart()
137 if(!(*pml4e & PAGE_PRESENT)) { in early_pgtable_map_uart()
138 *pml4e = hva2hpa_early(uart_pdpte_page) + (PAGE_PRESENT|PAGE_RW); in early_pgtable_map_uart()
140 pdpte = pdpte_offset(pml4e, addr); in early_pgtable_map_uart()
|
| /hypervisor/arch/x86/guest/ |
| A D | ept.c | 432 uint64_t *pml4e, *pdpte, *pde, *pte; in walk_ept_table() local
436 pml4e = pml4e_offset((uint64_t *)get_eptp(vm), i << PML4E_SHIFT); in walk_ept_table()
437 if (!pgentry_present(table, (*pml4e))) { in walk_ept_table()
441 pdpte = pdpte_offset(pml4e, j << PDPTE_SHIFT); in walk_ept_table()
|
Completed in 9 milliseconds