Searched refs:__flush_cache_vmap (Results 1 – 4 of 4) sorted by relevance
84 extern void (*__flush_cache_vmap)(void);89 __flush_cache_vmap(); in flush_cache_vmap()
362 __flush_cache_vmap = tx39__flush_cache_vmap; in tx39_cache_init()390 __flush_cache_vmap = tx39__flush_cache_vmap; in tx39_cache_init()
37 void (*__flush_cache_vmap)(void); variable
1677 __flush_cache_vmap = r4k__flush_cache_vmap; in r4k_cache_init()