|
@@ -27,8 +27,10 @@ void __cpu_copy_user_page(void *kto, const void *kfrom, unsigned long vaddr)
|
|
copy_page(kto, kfrom);
|
|
copy_page(kto, kfrom);
|
|
__flush_dcache_area(kto, PAGE_SIZE);
|
|
__flush_dcache_area(kto, PAGE_SIZE);
|
|
}
|
|
}
|
|
|
|
+EXPORT_SYMBOL_GPL(__cpu_copy_user_page);
|
|
|
|
|
|
void __cpu_clear_user_page(void *kaddr, unsigned long vaddr)
|
|
void __cpu_clear_user_page(void *kaddr, unsigned long vaddr)
|
|
{
|
|
{
|
|
clear_page(kaddr);
|
|
clear_page(kaddr);
|
|
}
|
|
}
|
|
|
|
+EXPORT_SYMBOL_GPL(__cpu_clear_user_page);
|