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