mc_copy_user_page((void *)COPYPAGE_MINICACHE, kto); 
mc_copy_user_page((void *)0xffff8000, kto); 
void v4_mc_copy_user_page(void *kto, const void *kfrom, unsigned long vaddr){	spin_lock(&minicache_lock);	set_pte(TOP_PTE(COPYPAGE_MINICACHE), pfn_pte(__pa(kfrom) >> PAGE_SHIFT, minicache_pgprot));	flush_tlb_kernel_page(COPYPAGE_MINICACHE);	mc_copy_user_page((void *)COPYPAGE_MINICACHE, kto);	spin_unlock(&minicache_lock);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8711a1b902e691c9b3bbd0d0624f836abe9641ca/copypage-v4mc.c/clean/arch/arm/mm/copypage-v4mc.c