Searched refs:local_r4k_flush_kernel_vmap_range_index (Results 1 – 1 of 1) sorted by relevance
871 static inline void local_r4k_flush_kernel_vmap_range_index(void *args) in local_r4k_flush_kernel_vmap_range_index() function903 local_r4k_flush_kernel_vmap_range_index, NULL); in r4k_flush_kernel_vmap_range()