diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2013-11-29 12:35:13 +0100 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-05 13:40:08 +0200 |
commit | f274c66b2141aca0f332e272b77cd0a048cef7f6 (patch) | |
tree | 04d26cb83988e515ce07578a8973ee57b6ae5cd0 /exec/priv.h | |
parent | b939d0b64ac0cfb90e672386a8586a5515ebcd16 (diff) |
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.
Diffstat (limited to 'exec/priv.h')
-rw-r--r-- | exec/priv.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/exec/priv.h b/exec/priv.h index 85e03aee..733f35c0 100644 --- a/exec/priv.h +++ b/exec/priv.h @@ -52,6 +52,7 @@ struct bootinfo vm_address_t phdr_addr, user_entry; vm_size_t phdr_size; }; +typedef struct bootinfo *bootinfo_t; /* Where to put the service ports. */ @@ -151,5 +152,4 @@ extern int *std_ints; extern size_t std_nports, std_nints; extern pthread_rwlock_t std_lock; - #endif /* exec_priv_h */ |