Trivial: correct x86_64 seL4_BenchmarkReset() return value

2016-10-20 12:14:35 +11:00 · 2016-10-20 12:14:35 +11:00 · 3c01da7018
commit 3c01da7018
parent 84f55c74cf
1 changed files with 1 additions and 1 deletions
--- 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;