CACHE_COLOUR       72 arch/arm/mm/copypage-v6.c 	unsigned int offset = CACHE_COLOUR(vaddr);
CACHE_COLOUR      105 arch/arm/mm/copypage-v6.c 	unsigned long to = COPYPAGE_V6_TO + (CACHE_COLOUR(vaddr) << PAGE_SHIFT);
CACHE_COLOUR       40 arch/arm/mm/flush.c 	unsigned long to = FLUSH_ALIAS_START + (CACHE_COLOUR(vaddr) << PAGE_SHIFT);
CACHE_COLOUR       54 arch/arm/mm/flush.c 	unsigned long va = FLUSH_ALIAS_START + (CACHE_COLOUR(vaddr) << PAGE_SHIFT);