Searched refs:dpte1p (Results 1 – 1 of 1) sorted by relevance
2159 pte1_copy_nosync(pt1_entry_t *spte1p, pt1_entry_t *dpte1p, vm_offset_t sva, in pte1_copy_nosync() argument2166 bcopy(spte1p + idx, dpte1p + idx, count); in pte1_copy_nosync()