From e1c1a57d9f9a058f64abc00f8671d3a7c3d68f6b Mon Sep 17 00:00:00 2001
From: Cristian Rosa <cristian@rtfm.org.ar>
Date: Thu, 6 Sep 2012 11:25:07 -0300
Subject: [PATCH] Add new simcall interface definitions.

---
 src/simix/smx_smurf.c | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/simix/smx_smurf.c b/src/simix/smx_smurf.c
index 0ef4ca31b8..691dc6246f 100644
--- a/src/simix/smx_smurf.c
+++ b/src/simix/smx_smurf.c
@@ -652,3 +652,14 @@ void __SIMIX_simcall(e_smx_simcall_t simcall_id, u_smx_scalar_t *args)
     SIMIX_simcall_pre(&self->simcall, 0);
   }
 }
+
+/* New Simcal interface */
+
+/* FIXME: add types for every simcall */
+const char *simcall_types[NUM_SIMCALLS] = {"%d", "%d%f", "%l"};
+
+void SIMIX_simcall_typecheck(const char *fmt, ...)
+{
+  return;
+}
+
-- 
2.20.1