52 extern void flush_dcache_page(struct page *page);
54 static inline void flush_dcache_page(struct page *page)  in flush_dcache_page()  argument
56 	unsigned long addr = page_to_phys(page);  in flush_dcache_page()
61 static inline void flush_page_to_ram(struct page *page)  in flush_page_to_ram()  argument
63 	flush_dcache_page(page);  in flush_page_to_ram()
77 extern void flush_icache_user_range(struct vm_area_struct *vma, struct page *page,
80 static inline void flush_icache_user_range(struct vm_area_struct *vma, struct page *page,  in flush_icache_user_range()  argument
87 static inline void flush_icache_page(struct vm_area_struct *vma, struct page *page)  in flush_icache_page()  argument
89 	flush_icache_user_range(vma, page, page_to_phys(page), PAGE_SIZE);  in flush_icache_page()
96 #define copy_to_user_page(vma, page, vaddr, dst, src, len)	\  argument
99 	flush_icache_user_range((vma), (page), (vaddr), (len));	\
102 #define copy_from_user_page(vma, page, vaddr, dst, src, len)	\  argument