1 /* SPDX-License-Identifier: GPL-2.0 */ 2 // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd. 3 4 static inline void clear_user_page(void *addr, unsigned long vaddr, 5 struct page *page) 6 { 7 clear_page(addr); 8 } 9 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