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