acrn-kernel/arch/csky/abiv2/inc/abi/vdso.h

10 lines
184 B
C

/* SPDX-License-Identifier: GPL-2.0 */
#ifndef __ABI_CSKY_VDSO_H
#define __ABI_CSKY_VDSO_H
/* movi r7, 173 */
#define SET_SYSCALL_ID .long 0x008bea07
#endif /* __ABI_CSKY_VDSO_H */