Searched refs:r3k_flush_kernel_vmap_range (Results 1 – 1 of 1) sorted by relevance
272 static void r3k_flush_kernel_vmap_range(unsigned long vaddr, int size) in r3k_flush_kernel_vmap_range() function303 __flush_kernel_vmap_range = r3k_flush_kernel_vmap_range; in r3k_cache_init()