flush_cache_vmap
flush_cache_vmap(addr, addr + size);
void flush_cache_vmap(unsigned long start, unsigned long end);
EXPORT_SYMBOL(flush_cache_vmap);
#define flush_cache_vmap flush_cache_vmap
#define flush_cache_vmap flush_cache_vmap
flush_cache_vmap(orig_addr, orig_addr + orig_size);
#ifndef flush_cache_vmap
flush_cache_vmap(start, start + size);
flush_cache_vmap(shadow_start, shadow_end);
flush_cache_vmap(vmalloc_shadow(start), vmalloc_shadow(end));
flush_cache_vmap(vmalloc_origin(start), vmalloc_origin(end));
flush_cache_vmap(vmalloc_shadow(start), vmalloc_shadow(end));
flush_cache_vmap(vmalloc_origin(start), vmalloc_origin(end));
flush_cache_vmap(vmalloc_shadow(start), vmalloc_shadow(end));
flush_cache_vmap(vmalloc_origin(start), vmalloc_origin(end));
flush_cache_vmap(shadow_start, shadow_end);
flush_cache_vmap(origin_start, origin_end);
flush_cache_vmap(
flush_cache_vmap(addr, end);
flush_cache_vmap((unsigned long)area->addr,
flush_cache_vmap(addr, end);