unsigned int offset = DCACHE_COLOUR(vaddr); 
unsigned int offset = CACHE_COLOUR(vaddr); 
void v6_clear_user_page_aliasing(void *kaddr, unsigned long vaddr){	unsigned int offset = DCACHE_COLOUR(vaddr);	unsigned long to = to_address + (offset << PAGE_SHIFT);	/*	 * 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" (kaddr),	     "r" ((unsigned long)kaddr + PAGE_SIZE - L1_CACHE_BYTES)	   : "cc");	/*	 * Now clear the page using the same cache colour as	 * the pages ultimate destination.	 */	spin_lock(&v6_lock);	set_pte(TOP_PTE(to_address) + offset, pfn_pte(__pa(kaddr) >> PAGE_SHIFT, to_pgprot));	flush_tlb_kernel_page(to);	clear_page((void *)to);	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