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 55c656322cc0bb1b395eb4b6a8282ae228356b5a..68ce519f12626cdcbeb0af4a924dc1a4595b5353 100644 (file)
--- a/l4/pkg/moe/server/src/globals.h
+++ b/l4/pkg/moe/server/src/globals.h
@@ -26,6 +26,11 @@ extern Object_pool object_pool;
 extern char const *const PROG;
 extern char log_buffer[1024];
 
+namespace Moe { namespace Virt_limit {
+  extern l4_addr_t start;
+  extern l4_addr_t end;
+}}
+
 namespace Moe {
   extern unsigned l4re_dbg;
   extern unsigned ldr_flags;