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