From 3ad1b21110cea1cf04f6acf5500d774bba05a8c8 Mon Sep 17 00:00:00 2001
From: jdybnis <jdybnis@9ec2166a-aeea-11dd-8830-69e4bb380a4a>
Date: Wed, 12 Nov 2008 08:11:58 +0000
Subject: [PATCH] missing file from last commit

---
 runtime/runtime_local.h | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 runtime/runtime_local.h

diff --git a/runtime/runtime_local.h b/runtime/runtime_local.h
new file mode 100644
index 0000000..8b295d2
--- /dev/null
+++ b/runtime/runtime_local.h
@@ -0,0 +1,5 @@
+void mem_init (void);
+void lwt_init (void);
+
+void rcu_thread_init (int thread_id);
+void lwt_thread_init (int thread_id);
-- 
2.40.0