r3k_flush_icache_range
r3k_flush_icache_range(KSEG0, KSEG0 + icache_size);
r3k_flush_icache_range(kaddr, kaddr + PAGE_SIZE);
flush_icache_range = r3k_flush_icache_range;
local_flush_icache_range = r3k_flush_icache_range;
__flush_icache_user_range = r3k_flush_icache_range;
__local_flush_icache_user_range = r3k_flush_icache_range;