41 static void flush_pfn_alias(unsigned long pfn, unsigned long vaddr)  in flush_pfn_alias()  argument
46 	set_top_pte(to, pfn_pte(pfn, PAGE_KERNEL));  in flush_pfn_alias()
55 static void flush_icache_alias(unsigned long pfn, unsigned long vaddr, unsigned long len)  in flush_icache_alias()  argument
61 	set_top_pte(va, pfn_pte(pfn, PAGE_KERNEL));  in flush_icache_alias()
101 void flush_cache_page(struct vm_area_struct *vma, unsigned long user_addr, unsigned long pfn)  in flush_cache_page()  argument
104 		vivt_flush_cache_page(vma, user_addr, pfn);  in flush_cache_page()
109 		flush_pfn_alias(pfn, user_addr);  in flush_cache_page()
118 #define flush_pfn_alias(pfn,vaddr)		do { } while (0)  argument
119 #define flush_icache_alias(pfn,vaddr,len)	do { } while (0)  argument
275 	unsigned long pfn;  in __sync_icache_dcache()  local
282 	pfn = pte_pfn(pteval);  in __sync_icache_dcache()
283 	if (!pfn_valid(pfn))  in __sync_icache_dcache()
286 	page = pfn_to_page(pfn);  in __sync_icache_dcache()
390 	unsigned long pfn;  in __flush_anon_page()  local
399 	pfn = page_to_pfn(page);  in __flush_anon_page()
401 		flush_cache_page(vma, vmaddr, pfn);  in __flush_anon_page()
407 		flush_pfn_alias(pfn, vmaddr);  in __flush_anon_page()