Searched refs:rt_hw_dcache_invalidate_range (Results 1 – 2 of 2) sorted by relevance
38 void rt_hw_dcache_invalidate_range(rt_uint32_t addr,rt_uint32_t size);
147 void rt_hw_dcache_invalidate_range(rt_uint32_t start_addr,rt_uint32_t size) in rt_hw_dcache_invalidate_range() function