| 2156 | } |
| 2157 | |
| 2158 | static __inline void |
| 2159 | pte1_copy_nosync(pt1_entry_t *spte1p, pt1_entry_t *dpte1p, vm_offset_t sva, |
| 2160 | vm_offset_t eva) |
| 2161 | { |
| 2162 | u_int idx, count; |
| 2163 | |
| 2164 | idx = pte1_index(sva); |
| 2165 | count = (pte1_index(eva) - idx + 1) * sizeof(pt1_entry_t); |
| 2166 | bcopy(spte1p + idx, dpte1p + idx, count); |
| 2167 | } |
| 2168 | |
| 2169 | static __inline void |
| 2170 | pt2tab_copy_nosync(pt2_entry_t *spte2p, pt2_entry_t *dpte2p, vm_offset_t sva, |
no test coverage detected