Searched defs:ptep (Results 1 – 1 of 1) sorted by relevance
92 uint64_t *ptep; in _virt_pg_map() local150 uint64_t *ptep; in addr_gva2gpa() local191 uint64_t pte, *ptep; in pte_dump() local209 uint64_t pgd, *ptep; in virt_dump() local