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