| 212 | } |
| 213 | |
| 214 | static __inline void |
| 215 | pl310_wait_background_op(uint32_t off, uint32_t mask) |
| 216 | { |
| 217 | |
| 218 | while (pl310_read4(pl310_softc, off) & mask) |
| 219 | continue; |
| 220 | } |
| 221 | |
| 222 | /** |
| 223 | * pl310_cache_sync - performs a cache sync operation |
no test coverage detected