250 void __cache_line_loop_v2(phys_addr_t paddr, unsigned long vaddr,  in __cache_line_loop_v2()
295 void __cache_line_loop_v3(phys_addr_t paddr, unsigned long vaddr,  in __cache_line_loop_v3()
366 void __cache_line_loop_v4(phys_addr_t paddr, unsigned long vaddr,  in __cache_line_loop_v4()
420 void __cache_line_loop_v4(phys_addr_t paddr, unsigned long vaddr,  in __cache_line_loop_v4()
580 static inline void __dc_line_op(phys_addr_t paddr, unsigned long vaddr,  in __dc_line_op()
602 #define __dc_line_op(paddr, vaddr, sz, op)  argument
616 __ic_line_inv_vaddr_local(phys_addr_t paddr, unsigned long vaddr,  in __ic_line_inv_vaddr_local()
634 	phys_addr_t paddr, vaddr;  member
645 static void __ic_line_inv_vaddr(phys_addr_t paddr, unsigned long vaddr,  in __ic_line_inv_vaddr()
861 		unsigned long vaddr = page->index << PAGE_SHIFT;  in flush_dcache_page()  local
999 void __sync_icache_dcache(phys_addr_t paddr, unsigned long vaddr, int len)  in __sync_icache_dcache()
1006 void __inv_icache_page(phys_addr_t paddr, unsigned long vaddr)  in __inv_icache_page()
1015 void __flush_dcache_page(phys_addr_t paddr, unsigned long vaddr)  in __flush_dcache_page()