FLUSH_ALIAS_START   40 arch/arm/mm/flush.c 	unsigned long to = FLUSH_ALIAS_START + (CACHE_COLOUR(vaddr) << PAGE_SHIFT);
FLUSH_ALIAS_START   54 arch/arm/mm/flush.c 	unsigned long va = FLUSH_ALIAS_START + (CACHE_COLOUR(vaddr) << PAGE_SHIFT);