/* write a page back from the dcache and invalidate the icache so that we can run code from it that we've just written into it  */
void flush_icache_page(struct vm_area_struct *vma, struct page *page)
/* write a page back from the dcache and invalidate the icache so that we can run code from it that we've just written into it  */
void flush_icache_page(struct vm_area_struct *vma, struct page *page)
{
	mn10300_dcache_flush_page(page_to_phys(page));
	mn10300_icache_inv();
}