Re: [PATCH v3 1/3] arm64: Add regs_return_value() in syscall.h