Searched refs:ptep_get_va (Results 1 – 2 of 2) sorted by relevance
1101 ptep_get_va(const pt_entry_t *ptep) in ptep_get_va() function
4219 if (managed && (pmap != kernel_pmap) && (ptep_get_va(cpte) != va)) {4221 cpte, ptep_get_ptd(cpte), (uint64_t)*cpte, (uint64_t)va, (uint64_t)ptep_get_va(cpte));10740 va = ptep_get_va(pte_p);13110 if (ptep_get_va(ptep) != (va_base + (pmap_page_size * map_count))) {13112 (void*)ptep_get_va(ptep), (void*)(va_base + (pmap_page_size * map_count)), map_count);