local_r4k_flush_data_cache_page  737 arch/mips/mm/c-r4k.c 		local_r4k_flush_data_cache_page((void *)addr);
local_r4k_flush_data_cache_page  739 arch/mips/mm/c-r4k.c 		r4k_on_each_cpu(R4K_HIT, local_r4k_flush_data_cache_page,
local_r4k_flush_data_cache_page 1867 arch/mips/mm/c-r4k.c 	local_flush_data_cache_page	= local_r4k_flush_data_cache_page;