r4k_blast_icache_user_page
static void (*r4k_blast_icache_user_page)(unsigned long addr);
r4k_blast_icache_user_page = (void *)cache_noop;
r4k_blast_icache_user_page = blast_icache16_user_page;
r4k_blast_icache_user_page = blast_icache32_user_page;
r4k_blast_icache_user_page = blast_icache64_user_page;
r4k_blast_icache_user_page(addr);