1 /* SPDX-License-Identifier: GPL-2.0 */
2 // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd.
3
clear_user_page(void * addr,unsigned long vaddr,struct page * page)4 static inline void clear_user_page(void *addr, unsigned long vaddr,
5 struct page *page)
6 {
7 clear_page(addr);
8 }
9
copy_user_page(void * to,void * from,unsigned long vaddr,struct page * page)10 static inline void copy_user_page(void *to, void *from, unsigned long vaddr,
11 struct page *page)
12 {
13 copy_page(to, from);
14 }
15