Searched refs:__flush_kernel_vmap_range (Results 1 – 6 of 6) sorted by relevance
133 extern void (*__flush_kernel_vmap_range)(unsigned long vaddr, int size);138 __flush_kernel_vmap_range((unsigned long) vaddr, size); in flush_kernel_vmap_range()144 __flush_kernel_vmap_range((unsigned long) vaddr, size); in invalidate_kernel_vmap_range()
47 void (*__flush_kernel_vmap_range)(unsigned long vaddr, int size); variable48 EXPORT_SYMBOL_GPL(__flush_kernel_vmap_range);
303 __flush_kernel_vmap_range = r3k_flush_kernel_vmap_range; in r3k_cache_init()
280 __flush_kernel_vmap_range = octeon_flush_kernel_vmap_range; in octeon_cache_init()
373 __flush_kernel_vmap_range = tx39_flush_kernel_vmap_range; in tx39_cache_init()
1904 __flush_kernel_vmap_range = r4k_flush_kernel_vmap_range; in r4k_cache_init()1970 __flush_kernel_vmap_range = (void *)cache_noop; in r4k_cache_init()
Completed in 10 milliseconds