1 /* SPDX-License-Identifier: GPL-2.0 */
2 // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd.
4 static inline void clear_user_page(void *addr, unsigned long vaddr,
10 static inline void copy_user_page(void *to, void *from, unsigned long vaddr,