Searched refs:arch_cache_data_invalidate_range (Results 1 – 4 of 4) sorted by relevance
48 .globl arch_cache_data_invalidate_range49 arch_cache_data_invalidate_range: label
15 void arch_cache_data_invalidate_range(vaddr_t start, size_t size);
17 void arch_cache_data_invalidate_range(vaddr_t start, size_t size) in arch_cache_data_invalidate_range() function
60 bl arch_cache_data_invalidate_range
Completed in 12 milliseconds