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
8static 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