Loading...
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
25void __cpu_copy_user_page(void *kto, const void *kfrom, unsigned long vaddr)
26{
27 struct page *page = virt_to_page(kto);
28 copy_page(kto, kfrom);
29 flush_dcache_page(page);
30}
31EXPORT_SYMBOL_GPL(__cpu_copy_user_page);
32
33void __cpu_clear_user_page(void *kaddr, unsigned long vaddr)
34{
35 clear_page(kaddr);
36}
37EXPORT_SYMBOL_GPL(__cpu_clear_user_page);
1// SPDX-License-Identifier: GPL-2.0-only
2/*
3 * Based on arch/arm/mm/copypage.c
4 *
5 * Copyright (C) 2002 Deep Blue Solutions Ltd, All Rights Reserved.
6 * Copyright (C) 2012 ARM Ltd.
7 */
8
9#include <linux/mm.h>
10
11#include <asm/page.h>
12#include <asm/cacheflush.h>
13
14void __cpu_copy_user_page(void *kto, const void *kfrom, unsigned long vaddr)
15{
16 struct page *page = virt_to_page(kto);
17 copy_page(kto, kfrom);
18 flush_dcache_page(page);
19}
20EXPORT_SYMBOL_GPL(__cpu_copy_user_page);
21
22void __cpu_clear_user_page(void *kaddr, unsigned long vaddr)
23{
24 clear_page(kaddr);
25}
26EXPORT_SYMBOL_GPL(__cpu_clear_user_page);