1/* 2 * Copyright 2010 Tilera Corporation. All Rights Reserved. 3 * 4 * This program is free software; you can redistribute it and/or 5 * modify it under the terms of the GNU General Public License 6 * as published by the Free Software Foundation, version 2. 7 * 8 * This program is distributed in the hope that it will be useful, but 9 * WITHOUT ANY WARRANTY; without even the implied warranty of 10 * MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE, GOOD TITLE or 11 * NON INFRINGEMENT. See the GNU General Public License for 12 * more details. 13 */ 14 15#include <asm/page.h> 16#include <asm/cacheflush.h> 17#include <arch/icache.h> 18 19 20void __flush_icache_range(unsigned long start, unsigned long end) 21{ 22 invalidate_icache((const void *)start, end - start, PAGE_SIZE); 23} 24