Searched refs:z_impl_sys_cache_data_invd_range (Results 1 – 2 of 2) sorted by relevance
22 return z_impl_sys_cache_data_invd_range(addr, size); in z_vrfy_sys_cache_data_invd_range()
285 static ALWAYS_INLINE int z_impl_sys_cache_data_invd_range(void *addr, size_t size) in z_impl_sys_cache_data_invd_range() function
