flush_cache_vmap
#define flush_cache_vmap(start, end) flush_cache_all()
static inline void flush_cache_vmap(unsigned long start, unsigned long end)
#define flush_cache_vmap(start, end) cache_wbinv_all()
#define flush_cache_vmap(start, end) do { } while (0)
#define flush_cache_vmap(start, end) do { } while (0)
#define flush_cache_vmap(start, end) flush_cache_all()
static inline void flush_cache_vmap(unsigned long start, unsigned long end)
#define flush_cache_vmap(start, end) flush_dcache_range(start, end)
void flush_cache_vmap(unsigned long start, unsigned long end)
static inline void flush_cache_vmap(unsigned long start, unsigned long end)
#define flush_cache_vmap flush_cache_vmap
#define flush_cache_vmap flush_cache_vmap
static inline void flush_cache_vmap(unsigned long start, unsigned long end)
#define flush_cache_vmap(start, end) local_flush_cache_all(NULL)
#define flush_cache_vmap(start, end) flush_cache_all()
#define flush_cache_vmap(start, end) do { } while (0)
#define flush_cache_vmap flush_tlb_kernel_range
#define flush_cache_vmap(start,end) flush_cache_all()
static inline void flush_cache_vmap(unsigned long start, unsigned long end)