From 3c01da701850abd1a6bfd006f2a91ffca07ac5f8 Mon Sep 17 00:00:00 2001
From: Hesham Almatary <hesham.almatary@data61.csiro.au>
Date: Thu, 20 Oct 2016 12:14:35 +1100
Subject: [PATCH] Trivial: correct x86_64 seL4_BenchmarkReset() return value

---
 libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/syscalls.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/syscalls.h b/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/syscalls.h
index e5db965ff..42c259026 100644
--- a/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/syscalls.h
+++ b/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/syscalls.h
@@ -314,7 +314,7 @@ seL4_DebugRun(void (*userfn) (void *), void* userarg)
 #endif
 
 #if CONFIG_ENABLE_BENCHMARKS
-static inline void
+static inline seL4_Error
 seL4_BenchmarkResetLog(void)
 {
     seL4_Word unused0 = 0;