unsigned int offset = DCACHE_COLOUR(vaddr); 
unsigned int offset = CACHE_COLOUR(vaddr); 
void v6_copy_user_page_aliasing(void *kto, const void *kfrom, unsigned long vaddr){	unsigned int offset = DCACHE_COLOUR(vaddr);	unsigned long from, to;	/*	 * Discard data in the kernel mapping for the new page.	 * FIXME: needs this MCRR to be supported.	 */	__asm__("mcrr	p15, 0, %1, %0, c6	@ 0xec401f06"	   :	   : "r" (kto),	     "r" ((unsigned long)kto + PAGE_SIZE - L1_CACHE_BYTES)	   : "cc");	/*	 * Now copy the page using the same cache colour as the	 * pages ultimate destination.	 */	spin_lock(&v6_lock);	set_pte(TOP_PTE(from_address) + offset, pfn_pte(__pa(kfrom) >> PAGE_SHIFT, from_pgprot));	set_pte(TOP_PTE(to_address) + offset, pfn_pte(__pa(kto) >> PAGE_SHIFT, to_pgprot));	from = from_address + (offset << PAGE_SHIFT);	to   = to_address + (offset << PAGE_SHIFT);	flush_tlb_kernel_page(from);	flush_tlb_kernel_page(to);	copy_page((void *)to, (void *)from);	spin_unlock(&v6_lock);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b8a9b66fbee09d0cc71c272b5c1d1f3320afbbf0/copypage-v6.c/buggy/arch/arm/mm/copypage-v6.c