| 352 | } |
| 353 | |
| 354 | static __inline void |
| 355 | pte2_set_bit(pt2_entry_t *pte2p, uint32_t bit) |
| 356 | { |
| 357 | |
| 358 | *pte2p |= bit; |
| 359 | pte2_sync(pte2p); |
| 360 | } |
| 361 | |
| 362 | static __inline void |
| 363 | pte2_set_wired(pt2_entry_t *pte2p, boolean_t wired) |
no test coverage detected