1 /* SPDX-License-Identifier: GPL-2.0 */ 2 3 #include <linux/uaccess.h> 4 5 static inline int setup_vdso_page(unsigned short *ptr) 6 { 7 int err = 0; 8 9 /* movi r1, 127 */ 10 err |= __put_user(0x67f1, ptr + 0); 11 /* addi r1, (139 - 127) */ 12 err |= __put_user(0x20b1, ptr + 1); 13 /* trap 0 */ 14 err |= __put_user(0x0008, ptr + 2); 15 16 return err; 17 }