/home/data/hc/rk3588_linux/kernel/xenomai-v3.2.4/kernel/cobalt/arch/arm64/ipipe/include/asm/xenomai/syscall32.h