Home
last modified time | relevance | path

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

/hypervisor/include/arch/x86/asm/
A Dpgtable.h342 static inline uint64_t pdpte_index(uint64_t address) in pdpte_index() function
419 return pml4e_page_vaddr(*pml4e) + pdpte_index(addr); in pdpte_offset()
/hypervisor/arch/x86/
A Dpagetable.c266 uint64_t index = pdpte_index(vaddr); in modify_or_del_pdpte()
471 uint64_t index = pdpte_index(vaddr); in add_pdpte()

Completed in 9 milliseconds