239 void __cache_line_loop_v2(phys_addr_t paddr, unsigned long vaddr,  in __cache_line_loop_v2()
284 void __cache_line_loop_v3(phys_addr_t paddr, unsigned long vaddr,  in __cache_line_loop_v3()
355 void __cache_line_loop_v4(phys_addr_t paddr, unsigned long vaddr,  in __cache_line_loop_v4()
409 void __cache_line_loop_v4(phys_addr_t paddr, unsigned long vaddr,  in __cache_line_loop_v4()
569 static inline void __dc_line_op(phys_addr_t paddr, unsigned long vaddr,  in __dc_line_op()
591 #define __dc_line_op(paddr, vaddr, sz, op)  argument
605 __ic_line_inv_vaddr_local(phys_addr_t paddr, unsigned long vaddr,  in __ic_line_inv_vaddr_local()
623 	phys_addr_t paddr, vaddr;  member
634 static void __ic_line_inv_vaddr(phys_addr_t paddr, unsigned long vaddr,  in __ic_line_inv_vaddr()
850 		unsigned long vaddr = page->index << PAGE_SHIFT;  in flush_dcache_page()  local
988 void __sync_icache_dcache(phys_addr_t paddr, unsigned long vaddr, int len)  in __sync_icache_dcache()
995 void __inv_icache_page(phys_addr_t paddr, unsigned long vaddr)  in __inv_icache_page()
1004 void __flush_dcache_page(phys_addr_t paddr, unsigned long vaddr)  in __flush_dcache_page()