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