Searched refs:ptep_get_va (Results 1 – 2 of 2) sorted by relevance
1095 ptep_get_va(const pt_entry_t *ptep) in ptep_get_va() function
4230 if (managed && (pmap != kernel_pmap) && (ptep_get_va(cpte) != va)) {4232 cpte, ptep_get_ptd(cpte), (uint64_t)*cpte, (uint64_t)va, (uint64_t)ptep_get_va(cpte));10527 vm_map_address_t va = ptep_get_va(pte_p);11016 va = ptep_get_va(pte_p);14365 if (ptep_get_va(ptep) != (va_base + (pmap_page_size * map_count))) {14367 (void*)ptep_get_va(ptep), (void*)(va_base + (pmap_page_size * map_count)), map_count);