Searched refs:ptep_get_va (Results 1 – 2 of 2) sorted by relevance
1057 ptep_get_va(const pt_entry_t *ptep) in ptep_get_va() function
4167 if (managed && (pmap != kernel_pmap) && (ptep_get_va(cpte) != va)) {4169 cpte, ptep_get_ptd(cpte), (uint64_t)*cpte, (uint64_t)va, (uint64_t)ptep_get_va(cpte));10517 va = ptep_get_va(pte_p);12810 if (ptep_get_va(ptep) != (va_base + (pmap_page_size * map_count))) {12812 (void*)ptep_get_va(ptep), (void*)(va_base + (pmap_page_size * map_count)), map_count);