From 3808ca8e6e98fdffe97c2f0ee85bfdc8e92f2f3f Mon Sep 17 00:00:00 2001 From: Krzysztof Chruscinski Date: Thu, 5 Jul 2018 14:59:41 +0200 Subject: [PATCH] syscall: Add support for syscall_ret64_arg2 Add support for syscall returning 64 bit value with 2 arguments. Signed-off-by: Krzysztof Chruscinski --- include/syscall.h | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/include/syscall.h b/include/syscall.h index 23d6c045730..d9721c9711b 100644 --- a/include/syscall.h +++ b/include/syscall.h @@ -258,6 +258,16 @@ static inline u64_t _syscall_ret64_invoke1(u32_t arg1, u32_t call_id) _arch_syscall_invoke2(arg1, (u32_t)&ret, call_id); return ret; } + +static inline u64_t _syscall_ret64_invoke2(u32_t arg1, u32_t arg2, + u32_t call_id) +{ + u64_t ret; + + _arch_syscall_invoke3(arg1, arg2, (u32_t)&ret, call_id); + return ret; +} + #endif /* CONFIG_USERSPACE */ #ifdef __cplusplus