/* SPDX-License-Identifier: GPL-2.0 */
|
|
#ifndef __ABI_CSKY_VDSO_H
|
#define __ABI_CSKY_VDSO_H
|
|
#include <linux/uaccess.h>
|
|
static inline int setup_vdso_page(unsigned short *ptr)
|
{
|
int err = 0;
|
|
/* movi r7, 173 */
|
err |= __put_user(0xea07, ptr);
|
err |= __put_user(0x008b, ptr+1);
|
|
/* trap 0 */
|
err |= __put_user(0xc000, ptr+2);
|
err |= __put_user(0x2020, ptr+3);
|
|
return err;
|
}
|
|
#endif /* __ABI_CSKY_STRING_H */
|
