1 files changed, 8 insertions, 0 deletions
diff --git a/shutdown/mig-mutate.h b/shutdown/mig-mutate.h
new file mode 100644
index 00000000..9eaf3db0
--- /dev/null
+++ b/shutdown/mig-mutate.h
@@ -0,0 +1,8 @@
+#define SHUTDOWN_INTRAN                                           \
+  trivfs_protid_t trivfs_begin_using_protid (shutdown_t)
+#define SHUTDOWN_INTRAN_PAYLOAD                                   \
+  trivfs_protid_t trivfs_begin_using_protid_payload
+#define SHUTDOWN_DESTRUCTOR                                       \
+  trivfs_end_using_protid (trivfs_protid_t)
+#define SHUTDOWN_IMPORTS                                          \
+  import "libtrivfs/mig-decls.h";