Searched refs:pdpte (Results 1 – 5 of 5) sorted by relevance
| /hypervisor/arch/x86/ |
| A D | pagetable.c | 270 uint64_t *pdpte = pdpt_page + index; in modify_or_del_pdpte() local
278 if (pdpte_large(*pdpte) != 0UL) { in modify_or_del_pdpte()
476 uint64_t *pdpte = pdpt_page + index; in add_pdpte() local
479 if (pdpte_large(*pdpte) != 0UL) { in add_pdpte()
662 pdpte = get_pgentry(src_pdpte_p); in pgtable_create_trusty_root()
664 pdpte &= ~prot_clr; in pgtable_create_trusty_root()
713 uint64_t *pml4e, *pdpte, *pde, *pte; in pgtable_lookup_entry() local
719 pdpte = pdpte_offset(pml4e, addr); in pgtable_lookup_entry()
722 if (pdpte_large(*pdpte) != 0UL) { in pgtable_lookup_entry()
724 pret = pdpte; in pgtable_lookup_entry()
[all …]
|
| /hypervisor/include/arch/x86/asm/ |
| A D | pgtable.h | 362 static inline uint64_t *pdpte_page_vaddr(uint64_t pdpte) in pdpte_page_vaddr() argument
364 return hpa2hva(pdpte & PDPTE_PFN_MASK); in pdpte_page_vaddr()
442 static inline uint64_t *pde_offset(const uint64_t *pdpte, uint64_t addr) in pde_offset() argument
444 return pdpte_page_vaddr(*pdpte) + pde_index(addr); in pde_offset()
534 static inline uint64_t pdpte_large(uint64_t pdpte) in pdpte_large() argument
536 return pdpte & PAGE_PSE; in pdpte_large()
|
| /hypervisor/debug/ |
| A D | uart16550.c | 129 uint64_t *pml4e, *pdpte, *pde; in early_pgtable_map_uart() local
140 pdpte = pdpte_offset(pml4e, addr); in early_pgtable_map_uart()
141 if(!(*pdpte & PAGE_PRESENT)) { in early_pgtable_map_uart()
142 *(pdpte) = hva2hpa_early(uart_pde_page) + (PAGE_PRESENT|PAGE_RW); in early_pgtable_map_uart()
143 pde = pde_offset(pdpte, addr); in early_pgtable_map_uart()
145 } else if(!(*pdpte & PAGE_PSE)) { in early_pgtable_map_uart()
146 pde = pde_offset(pdpte, addr); in early_pgtable_map_uart()
|
| /hypervisor/arch/x86/guest/ |
| A D | virtual_cr.c | 120 uint64_t pdpte[4]; /* Total four PDPTE */ in load_pdptrs() local
128 if (copy_from_gpa(vcpu->vm, pdpte, get_pae_pdpt_addr(guest_cr3), sizeof(pdpte)) != 0) { in load_pdptrs()
139 if (((pdpte[i] & PAGE_PRESENT) != 0UL) && ((pdpte[i] & rsvd_bits_mask) != 0UL)) { in load_pdptrs()
147 exec_vmwrite64(VMX_GUEST_PDPTE0_FULL, pdpte[0]); in load_pdptrs()
148 exec_vmwrite64(VMX_GUEST_PDPTE1_FULL, pdpte[1]); in load_pdptrs()
149 exec_vmwrite64(VMX_GUEST_PDPTE2_FULL, pdpte[2]); in load_pdptrs()
150 exec_vmwrite64(VMX_GUEST_PDPTE3_FULL, pdpte[3]); in load_pdptrs()
|
| A D | ept.c | 432 uint64_t *pml4e, *pdpte, *pde, *pte; in walk_ept_table() local
441 pdpte = pdpte_offset(pml4e, j << PDPTE_SHIFT); in walk_ept_table()
442 if (!pgentry_present(table, (*pdpte))) { in walk_ept_table()
445 if (pdpte_large(*pdpte) != 0UL) { in walk_ept_table()
446 cb(pdpte, PDPTE_SIZE); in walk_ept_table()
450 pde = pde_offset(pdpte, k << PDE_SHIFT); in walk_ept_table()
|
Completed in 13 milliseconds