| 228 | } |
| 229 | |
| 230 | static __inline void |
| 231 | pte1_set_bit(pt1_entry_t *pte1p, uint32_t bit) |
| 232 | { |
| 233 | |
| 234 | *pte1p |= bit; |
| 235 | pte1_sync(pte1p); |
| 236 | } |
| 237 | |
| 238 | static __inline vm_paddr_t |
| 239 | pte1_pa(pt1_entry_t pte1) |
nothing calls this directly
no test coverage detected