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}
14