1 /* SPDX-License-Identifier: GPL-2.0 */
3 #ifndef __ABI_CSKY_VDSO_H
4 #define __ABI_CSKY_VDSO_H
6 #include <linux/uaccess.h>
8 static inline int setup_vdso_page(unsigned short *ptr
)
13 err
|= __put_user(0xea07, ptr
);
14 err
|= __put_user(0x008b, ptr
+1);
17 err
|= __put_user(0xc000, ptr
+2);
18 err
|= __put_user(0x2020, ptr
+3);
23 #endif /* __ABI_CSKY_STRING_H */