update

[l4.git] / l4 / pkg / moe / server / src / globals.h

diff --git a/l4/pkg/moe/server/src/globals.h b/l4/pkg/moe/server/src/globals.h
index 68ce519f12626cdcbeb0af4a924dc1a4595b5353..5f40b3a88c55b4175971386448daadfbbe0913c8 100644 (file)
--- a/l4/pkg/moe/server/src/globals.h
+++ b/l4/pkg/moe/server/src/globals.h
@@ -19,7 +19,7 @@ namespace Moe { class Dataspace; };
 
 extern L4::Cap<void> root_name_space_obj;
 extern Moe::Dataspace *kip_ds;
-extern l4_kernel_info_t *_current_kip;
+extern "C" l4_kernel_info_t *_current_kip;
 inline l4_kernel_info_t const *kip() { return _current_kip; }
 
 extern Object_pool object_pool;