xref: /linux/arch/csky/abiv1/inc/abi/vdso.h (revision 02680c23d7b3febe45ea3d4f9818c2b2dc89020a)
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