Searched refs:__flush_kernel_vmap_range (Results 1 – 4 of 4) sorted by relevance
141 extern void (*__flush_kernel_vmap_range)(unsigned long vaddr, int size);146 __flush_kernel_vmap_range((unsigned long) vaddr, size); in flush_kernel_vmap_range()152 __flush_kernel_vmap_range((unsigned long) vaddr, size); in invalidate_kernel_vmap_range()
48 void (*__flush_kernel_vmap_range)(unsigned long vaddr, int size); variable49 EXPORT_SYMBOL_GPL(__flush_kernel_vmap_range);
299 __flush_kernel_vmap_range = r3k_flush_kernel_vmap_range; in r3k_cache_init()
284 __flush_kernel_vmap_range = octeon_flush_kernel_vmap_range; in octeon_cache_init()