/* This one is called from do_no_page(), do_swap_page() and install_page().  */
void flush_icache_page(struct vm_area_struct *vma, struct page *page)
/* This one is called from do_no_page(), do_swap_page() and install_page().  */
void flush_icache_page(struct vm_area_struct *vma, struct page *page)
{
	if (vma->vm_flags & VM_EXEC) {
		void *v = page_address(page);
		__flush_icache_range((unsigned long)v, (unsigned long)v + PAGE_SIZE);
	}
}