| 57 | } |
| 58 | |
| 59 | void rt_hw_cpu_dcache_ops(int ops, void *addr, int size) |
| 60 | { |
| 61 | if (ops == RT_HW_CACHE_FLUSH) |
| 62 | { |
| 63 | rt_hw_cpu_dcache_clean(addr, size); |
| 64 | } |
| 65 | else if (ops == RT_HW_CACHE_INVALIDATE) |
| 66 | { |
| 67 | rt_hw_cpu_dcache_invalidate(addr, size); |
| 68 | } |
| 69 | } |
| 70 | |
| 71 | rt_base_t rt_hw_cpu_icache_status(void) |
| 72 | { |
no test coverage detected