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