Lines Matching refs:addr
27 void rt_hw_cpu_icache_invalidate(void *addr, int size) in rt_hw_cpu_icache_invalidate() argument
30 rt_uint64_t start_addr = (rt_uint64_t)addr; in rt_hw_cpu_icache_invalidate()
31 rt_uint64_t end_addr = (rt_uint64_t) addr + size + line_size - 1; in rt_hw_cpu_icache_invalidate()
34 void rt_hw_cpu_dcache_invalidate(void *addr, int size) in rt_hw_cpu_dcache_invalidate() argument
37 rt_uint64_t start_addr = (rt_uint64_t)addr; in rt_hw_cpu_dcache_invalidate()
38 rt_uint64_t end_addr = (rt_uint64_t) addr + size + line_size - 1; in rt_hw_cpu_dcache_invalidate()
41 void rt_hw_cpu_dcache_clean(void *addr, int size) in rt_hw_cpu_dcache_clean() argument
44 rt_uint64_t start_addr = (rt_uint64_t)addr; in rt_hw_cpu_dcache_clean()
45 rt_uint64_t end_addr = (rt_uint64_t) addr + size + line_size - 1; in rt_hw_cpu_dcache_clean()
48 void rt_hw_cpu_icache_ops(int ops, void *addr, int size) in rt_hw_cpu_icache_ops() argument
51 rt_hw_cpu_icache_invalidate(addr, size); in rt_hw_cpu_icache_ops()
54 void rt_hw_cpu_dcache_ops(int ops, void *addr, int size) in rt_hw_cpu_dcache_ops() argument
57 rt_hw_cpu_dcache_clean(addr, size); in rt_hw_cpu_dcache_ops()
59 rt_hw_cpu_dcache_invalidate(addr, size); in rt_hw_cpu_dcache_ops()