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

/hypervisor/include/arch/x86/asm/
A D	pgtable.h	475 static inline uint64_t get_pgentry(const uint64_t *pte) in get_pgentry() function
/hypervisor/arch/x86/
A D	pagetable.c	653 nworld_pml4e = get_pgentry((uint64_t *)nworld_pml4_page); in pgtable_create_trusty_root() 662 pdpte = get_pgentry(src_pdpte_p); in pgtable_create_trusty_root()

Completed in 14 milliseconds

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