| 217 | } |
| 218 | |
| 219 | static __inline pt1_entry_t |
| 220 | pte1_load_clear(pt1_entry_t *pte1p) |
| 221 | { |
| 222 | pt1_entry_t opte1; |
| 223 | |
| 224 | opte1 = *pte1p; |
| 225 | *pte1p = 0; |
| 226 | pte1_sync(pte1p); |
| 227 | return (opte1); |
| 228 | } |
| 229 | |
| 230 | static __inline void |
| 231 | pte1_set_bit(pt1_entry_t *pte1p, uint32_t bit) |
no test coverage detected