arch/csky/abiv1/inc/abi/vdso.h

   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 }