|
@@ -105,8 +105,6 @@ static inline void clear_user_page(void *addr, unsigned long vaddr,
|
|
|
flush_data_cache_page((unsigned long)addr);
|
|
|
}
|
|
|
|
|
|
-extern void copy_user_page(void *vto, void *vfrom, unsigned long vaddr,
|
|
|
- struct page *to);
|
|
|
struct vm_area_struct;
|
|
|
extern void copy_user_highpage(struct page *to, struct page *from,
|
|
|
unsigned long vaddr, struct vm_area_struct *vma);
|