r4k_blast_dcache_user_page
static void (*r4k_blast_dcache_user_page)(unsigned long addr);
r4k_blast_dcache_user_page = (void *)cache_noop;
r4k_blast_dcache_user_page = blast_dcache16_user_page;
r4k_blast_dcache_user_page = blast_dcache32_user_page;
r4k_blast_dcache_user_page = blast_dcache64_user_page;
r4k_blast_dcache_user_page(addr);