Commit | Line | Data |
---|---|---|
1d18c47c CM |
1 | /* |
2 | * Based on arch/arm/mm/copypage.c | |
3 | * | |
4 | * Copyright (C) 2002 Deep Blue Solutions Ltd, All Rights Reserved. | |
5 | * Copyright (C) 2012 ARM Ltd. | |
6 | * | |
7 | * This program is free software; you can redistribute it and/or modify | |
8 | * it under the terms of the GNU General Public License version 2 as | |
9 | * published by the Free Software Foundation. | |
10 | * | |
11 | * This program is distributed in the hope that it will be useful, | |
12 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | * GNU General Public License for more details. | |
15 | * | |
16 | * You should have received a copy of the GNU General Public License | |
17 | * along with this program. If not, see <http://www.gnu.org/licenses/>. | |
18 | */ | |
19 | ||
20 | #include <linux/mm.h> | |
21 | ||
22 | #include <asm/page.h> | |
23 | #include <asm/cacheflush.h> | |
24 | ||
25 | void __cpu_copy_user_page(void *kto, const void *kfrom, unsigned long vaddr) | |
26 | { | |
e6b1185f | 27 | struct page *page = virt_to_page(kto); |
1d18c47c | 28 | copy_page(kto, kfrom); |
e6b1185f | 29 | flush_dcache_page(page); |
1d18c47c | 30 | } |
bec7cedc | 31 | EXPORT_SYMBOL_GPL(__cpu_copy_user_page); |
1d18c47c CM |
32 | |
33 | void __cpu_clear_user_page(void *kaddr, unsigned long vaddr) | |
34 | { | |
35 | clear_page(kaddr); | |
36 | } | |
bec7cedc | 37 | EXPORT_SYMBOL_GPL(__cpu_clear_user_page); |