1 /* SPDX-License-Identifier: GPL-2.0 */
2 
3 #ifndef __ABI_CSKY_VDSO_H
4 #define __ABI_CSKY_VDSO_H
5 
6 #include <linux/uaccess.h>
7 
setup_vdso_page(unsigned short * ptr)8 static inline int setup_vdso_page(unsigned short *ptr)
9 {
10 	int err = 0;
11 
12 	/* movi r7, 173 */
13 	err |= __put_user(0xea07, ptr);
14 	err |= __put_user(0x008b,      ptr+1);
15 
16 	/* trap 0 */
17 	err |= __put_user(0xc000,   ptr+2);
18 	err |= __put_user(0x2020,   ptr+3);
19 
20 	return err;
21 }
22 
23 #endif /* __ABI_CSKY_STRING_H */
24