/* Not entirely sure why this is necessary on SH3 with 32K cache but without it we get occasional "Memory fault" when loading a program.  */
static void sh7705_flush_icache_page(void *page)
/* Not entirely sure why this is necessary on SH3 with 32K cache but without it we get occasional "Memory fault" when loading a program.  */
static void sh7705_flush_icache_page(void *page)
{
	__flush_purge_region(page_address(page), PAGE_SIZE);
}