/* SPDX-License-Identifier: GPL-2.0 */ #ifndef __ABI_CSKY_VDSO_H #define __ABI_CSKY_VDSO_H #include <linux/uaccess.h> static inline int setup_vdso_page(unsigned short *ptr) { int err = 0; /* movi r7, 173 */ err |= __put_user(0xea07, ptr); err |= __put_user(0x008b, ptr+1); /* trap 0 */ err |= __put_user(0xc000, ptr+2); err |= __put_user(0x2020, ptr+3); return err; } #endif /* __ABI_CSKY_STRING_H */