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