51 static inline void flush_kernel_vmap_range(void *vaddr, int size)  in flush_kernel_vmap_range()  argument
53 	unsigned long start = (unsigned long)vaddr;  in flush_kernel_vmap_range()
57 static inline void invalidate_kernel_vmap_range(void *vaddr, int size)  in invalidate_kernel_vmap_range()  argument
59 	unsigned long start = (unsigned long)vaddr;  in invalidate_kernel_vmap_range()
60 	void *cursor = vaddr;  in invalidate_kernel_vmap_range()
62 	for ( ; cursor < vaddr + size; cursor += PAGE_SIZE) {  in invalidate_kernel_vmap_range()
92 #define copy_to_user_page(vma, page, vaddr, dst, src, len) \  argument
94 	flush_cache_page(vma, vaddr, page_to_pfn(page)); \
99 #define copy_from_user_page(vma, page, vaddr, dst, src, len) \  argument
101 	flush_cache_page(vma, vaddr, page_to_pfn(page)); \
110 void flush_dcache_page_asm(unsigned long phys_addr, unsigned long vaddr);