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