1/* SPDX-License-Identifier: GPL-2.0 */
2
3#ifndef __ABI_CSKY_VDSO_H
4#define __ABI_CSKY_VDSO_H
5
6/* movi r1, 127; addi r1, (139 - 127) */
7#define SET_SYSCALL_ID	.long 0x20b167f1
8
9#endif /* __ABI_CSKY_VDSO_H */
10