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

/hypervisor/include/arch/x86/asm/
A D	pgtable.h	367 static inline uint64_t *pde_page_vaddr(uint64_t pde) in pde_page_vaddr() function 469 return pde_page_vaddr(*pde) + pte_index(addr); in pte_offset()
/hypervisor/arch/x86/
A D	pagetable.c	178 uint64_t *pt_page = pde_page_vaddr(*pde); in modify_or_del_pte() 387 uint64_t *pt_page = pde_page_vaddr(*pde); in add_pte()

Completed in 6 milliseconds

Last Index update Fri Aug 22 02:31:50 CST 2025