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()
360 __flush_cache_vmap = tx39__flush_cache_vmap; in tx39_cache_init()386 __flush_cache_vmap = tx39__flush_cache_vmap; in tx39_cache_init()
37 void (*__flush_cache_vmap)(void); variable
1680 __flush_cache_vmap = r4k__flush_cache_vmap; in r4k_cache_init()