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