__flush_cache_page
__flush_cache_page(vma,
__flush_cache_page(vma, vmaddr, PFN_PHYS(pte_pfn(pte)));
__flush_cache_page(vma, vmaddr, PAGE_ALIGN_DOWN(physaddr));
__flush_cache_page(vma, vaddr, PFN_PHYS(page_to_pfn(from)));
__flush_cache_page(vma, user_vaddr, PFN_PHYS(page_to_pfn(page)));
__flush_cache_page(vma, user_vaddr, PFN_PHYS(page_to_pfn(page)));
__flush_cache_page(vma, vmaddr, PFN_PHYS(pfn));
__flush_cache_page(vma, vmaddr, PFN_PHYS(page_to_pfn(page)));
__flush_cache_page(vma, addr, PFN_PHYS(pte_pfn(pte)));
__flush_cache_page(vma, addr, PFN_PHYS(pfn));