 /* * If ownes no valid ASID yet, cannot possibly have gotten * this page into the cache. */ if (cpu_context(smp_processor_id(), vma->vm_mm) == 0) return; 
static void r4k_flush_cache_page(struct vm_area_struct *vma, unsigned long page, unsigned long pfn){	struct flush_cache_page_args args;	/*	 * If ownes no valid ASID yet, cannot possibly have gotten	 * this page into the cache.	 */	if (cpu_context(smp_processor_id(), vma->vm_mm) == 0)		return;	args.vma = vma;	args.page = page;	on_each_cpu(local_r4k_flush_cache_page, &args, 1, 1);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/79acf83e509dd0ca3db6c747bf58931984abc6e3/c-r4k.c/buggy/arch/mips/mm/c-r4k.c