From f274c66b2141aca0f332e272b77cd0a048cef7f6 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Fri, 29 Nov 2013 12:35:13 +0100
Subject: exec: fix receiver lookup

* exec/Makefile (exec_startup-MIGSFLAGS): New variable.
* exec/execmutations.h: Add mutators for exec_startup_t.
* exec/mig-decls.h: New file.
* exec/priv.h (bootinfo_t): New type declaration to appease mig.
* exec/exec.c (S_exec_startup_get_info): Fix receiver lookup.
---
 exec/execmutations.h | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'exec/execmutations.h')

diff --git a/exec/execmutations.h b/exec/execmutations.h
index ffcba9cd..2acca7a0 100644
--- a/exec/execmutations.h
+++ b/exec/execmutations.h
@@ -7,4 +7,12 @@
   import "priv.h";					\
   import "../libtrivfs/mig-decls.h";			\
 
+#define EXEC_STARTUP_INTRAN                             \
+  bootinfo_t begin_using_bootinfo_port (exec_startup_t)
+#define EXEC_STARTUP_DESTRUCTOR                         \
+  end_using_bootinfo (bootinfo_t)
+#define EXEC_STARTUP_IMPORTS                            \
+  import "priv.h";                                      \
+  import "mig-decls.h";
+
 #define SERVERCOPY 1
-- 
cgit v1.2.3