Searched refs:pte_addr (Results 1 – 1 of 1) sorted by relevance
844 uint64_t mask, *ptep, pte, pte_addr; in vmmops_gla2gpa() local867 pte_addr = paging->ttbr1_addr; in vmmops_gla2gpa()896 pte_addr = paging->ttbr0_addr; in vmmops_gla2gpa()982 pte_addr += PAGE_SIZE; in vmmops_gla2gpa()985 ptep = ptp_hold(hypctx->vcpu, pte_addr, PAGE_SIZE, &cookie); in vmmops_gla2gpa()1020 pte_addr = pte & ~ATTR_MASK; in vmmops_gla2gpa()