diff options
Diffstat (limited to 'exec/execmutations.h')
| -rw-r--r-- | exec/execmutations.h | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/exec/execmutations.h b/exec/execmutations.h new file mode 100644 index 00000000..2acca7a0 --- /dev/null +++ b/exec/execmutations.h @@ -0,0 +1,18 @@ +/* CPP definitions for MiG processing of exec.defs for exec server. */ + +#define FILE_INTRAN trivfs_protid_t trivfs_begin_using_protid (file_t) +#define FILE_DESTRUCTOR trivfs_end_using_protid (trivfs_protid_t) + +#define EXEC_IMPORTS \ + 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 |