diff options
Diffstat (limited to 'exec/execmutations.h')
| -rw-r--r-- | exec/execmutations.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/exec/execmutations.h b/exec/execmutations.h new file mode 100644 index 00000000..62ae5c55 --- /dev/null +++ b/exec/execmutations.h @@ -0,0 +1,6 @@ +/* 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"; |