cache_wbinv_range

49

#define flush_icache_range(start, end) cache_wbinv_range(start, end)

50

#define flush_icache_mm_range(mm, start, end) cache_wbinv_range(start, end)

37

#define flush_icache_range(start, end) cache_wbinv_range(start, end)

24

void cache_wbinv_range(unsigned long start, unsigned long end);

116

EXPORT_SYMBOL(cache_wbinv_range);

93

EXPORT_SYMBOL(cache_wbinv_range);