From a4cac757e254e734d1048831c9f4e6d7c3343ed2 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 21 Jun 2012 14:00:35 +0200
Subject: [PATCH] NOVA: Use right syscall function for ec_ctrl

---
 base-nova/include/32bit/nova/syscalls.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/base-nova/include/32bit/nova/syscalls.h b/base-nova/include/32bit/nova/syscalls.h
index 31923a80a3..66f58fbf39 100644
--- a/base-nova/include/32bit/nova/syscalls.h
+++ b/base-nova/include/32bit/nova/syscalls.h
@@ -195,7 +195,7 @@ namespace Nova {
 	ALWAYS_INLINE
 	inline uint8_t ec_ctrl(unsigned ec)
 	{
-		return syscall_1(NOVA_EC_CTRL, 0, ec);
+		return syscall_0(NOVA_EC_CTRL, 0, ec);
 	}
 
 	ALWAYS_INLINE