Home
last modified time | relevance | path

Searched refs:pdpte_page_vaddr (Results 1 – 2 of 2) sorted by relevance

/hypervisor/include/arch/x86/asm/
A Dpgtable.h362 static inline uint64_t *pdpte_page_vaddr(uint64_t pdpte) in pdpte_page_vaddr() function
444 return pdpte_page_vaddr(*pdpte) + pde_index(addr); in pde_offset()
/hypervisor/arch/x86/
A Dpagetable.c217 uint64_t *pd_page = pdpte_page_vaddr(*pdpte); in modify_or_del_pde()
418 uint64_t *pd_page = pdpte_page_vaddr(*pdpte); in add_pde()

Completed in 7 milliseconds