Searched defs:arch_dcache_invd_range (Results 1 – 6 of 6) sorted by relevance
113 int arch_dcache_invd_range(void *start_addr, size_t size) in arch_dcache_invd_range() function
56 int arch_dcache_invd_range(void *start_addr, size_t size) in arch_dcache_invd_range() function
114 int arch_dcache_invd_range(void *start_addr, size_t size) in arch_dcache_invd_range() function
105 int arch_dcache_invd_range(void *start_addr_ptr, size_t size) in arch_dcache_invd_range() function
162 static ALWAYS_INLINE int arch_dcache_invd_range(void *addr, size_t size) in arch_dcache_invd_range() function
60 static ALWAYS_INLINE int arch_dcache_invd_range(void *addr, size_t bytes) in arch_dcache_invd_range() function
