Home
last modified time | relevance | path

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

/hypervisor/include/arch/x86/asm/
A Dpgtable.h347 static inline uint64_t pde_index(uint64_t address) in pde_index() function
444 return pdpte_page_vaddr(*pdpte) + pde_index(addr); in pde_offset()
/hypervisor/arch/x86/
A Dpagetable.c219 uint64_t index = pde_index(vaddr); in modify_or_del_pde()
421 uint64_t index = pde_index(vaddr); in add_pde()

Completed in 10 milliseconds