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