Searched refs:pde (Results 1 – 4 of 4) sorted by relevance
| /hypervisor/arch/x86/ |
| A D | pagetable.c | 98 sanitize_pte_entry(pde, table); in try_to_free_pgtable_page()
223 uint64_t *pde = pd_page + index; in modify_or_del_pde() local
226 if (!pgentry_present(table, (*pde))) { in modify_or_del_pde()
231 if (pde_large(*pde) != 0UL) { in modify_or_del_pde()
427 uint64_t *pde = pd_page + index; in add_pde() local
430 if (pde_large(*pde) != 0UL) { in add_pde()
713 uint64_t *pml4e, *pdpte, *pde, *pte; in pgtable_lookup_entry() local
726 pde = pde_offset(pdpte, addr); in pgtable_lookup_entry()
729 if (pde_large(*pde) != 0UL) { in pgtable_lookup_entry()
731 pret = pde; in pgtable_lookup_entry()
[all …]
|
| /hypervisor/include/arch/x86/asm/ |
| A D | pgtable.h | 367 static inline uint64_t *pde_page_vaddr(uint64_t pde) in pde_page_vaddr() argument
369 return hpa2hva(pde & PDE_PFN_MASK); in pde_page_vaddr()
467 static inline uint64_t *pte_offset(const uint64_t *pde, uint64_t addr) in pte_offset() argument
469 return pde_page_vaddr(*pde) + pte_index(addr); in pte_offset()
509 static inline uint64_t pde_large(uint64_t pde) in pde_large() argument
511 return pde & PAGE_PSE; in pde_large()
|
| /hypervisor/debug/ |
| A D | uart16550.c | 129 uint64_t *pml4e, *pdpte, *pde; in early_pgtable_map_uart() local
143 pde = pde_offset(pdpte, addr); in early_pgtable_map_uart()
144 *pde = (addr & PDE_MASK) + (PAGE_PRESENT|PAGE_RW|PAGE_PSE); in early_pgtable_map_uart()
146 pde = pde_offset(pdpte, addr); in early_pgtable_map_uart()
147 if(!(*pde & PAGE_PRESENT)) { in early_pgtable_map_uart()
148 *pde = (addr & PDE_MASK) + (PAGE_PRESENT|PAGE_RW|PAGE_PSE); 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
450 pde = pde_offset(pdpte, k << PDE_SHIFT); in walk_ept_table()
451 if (!pgentry_present(table, (*pde))) { in walk_ept_table()
454 if (pde_large(*pde) != 0UL) { in walk_ept_table()
455 cb(pde, PDE_SIZE); in walk_ept_table()
459 pte = pte_offset(pde, m << PTE_SHIFT); in walk_ept_table()
|
Completed in 9 milliseconds