Searched refs:r4k_flush_kernel_vmap_range (Results 1 – 1 of 1) sorted by relevance
1058 static void r4k_flush_kernel_vmap_range(unsigned long vaddr, int size) in r4k_flush_kernel_vmap_range() function1947 __flush_kernel_vmap_range = r4k_flush_kernel_vmap_range;
