| 341 | } |
| 342 | |
| 343 | static __inline pt2_entry_t |
| 344 | pte2_load_clear(pt2_entry_t *pte2p) |
| 345 | { |
| 346 | pt2_entry_t opte2; |
| 347 | |
| 348 | opte2 = *pte2p; |
| 349 | *pte2p = 0; |
| 350 | pte2_sync(pte2p); |
| 351 | return (opte2); |
| 352 | } |
| 353 | |
| 354 | static __inline void |
| 355 | pte2_set_bit(pt2_entry_t *pte2p, uint32_t bit) |
no test coverage detected