| 52 | } |
| 53 | |
| 54 | void rt_hw_cpu_dcache_ops(int ops, void *addr, int size) |
| 55 | { |
| 56 | if (ops == RT_HW_CACHE_FLUSH) |
| 57 | rt_hw_cpu_dcache_clean(addr, size); |
| 58 | else if (ops == RT_HW_CACHE_INVALIDATE) |
| 59 | rt_hw_cpu_dcache_invalidate(addr, size); |
| 60 | } |
| 61 | |
| 62 | rt_base_t rt_hw_cpu_icache_status(void) |
| 63 | { |
no test coverage detected