Searched refs:ptep_get_va (Results 1 – 2 of 2) sorted by relevance
1087 ptep_get_va(const pt_entry_t *ptep) in ptep_get_va() function
4092 if (managed && (pmap != kernel_pmap) && (ptep_get_va(cpte) != va)) {4094 cpte, ptep_get_ptd(cpte), (uint64_t)*cpte, (uint64_t)va, (uint64_t)ptep_get_va(cpte));10250 vm_map_address_t va = ptep_get_va(pte_p);10720 va = ptep_get_va(pte_p);14047 if (ptep_get_va(ptep) != (va_base + (pmap_page_size * map_count))) {14049 (void*)ptep_get_va(ptep), (void*)(va_base + (pmap_page_size * map_count)), map_count);