1/* SPDX-License-Identifier: GPL-2.0 */
2
3#include <linux/uaccess.h>
4
5static 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}
18