Formerly mutations.h.~2~

1 files changed, 6 insertions, 0 deletions

diff --git a/pfinet/mutations.h b/pfinet/mutations.h
index 90864e2c..8881c5db 100644
--- a/pfinet/mutations.h
+++ b/pfinet/mutations.h
@@ -28,3 +28,9 @@
 
 #define ADDRPORT_INTRAN sock_addr_t begin_using_sockaddr_port (addr_port_t)
 #define ADDRPORT_DESTRUCTOR end_using_sockaddr_port (sock_addr_t)
+
+#define PF_INTRAN trivfs_protid_t trivfs_begin_using_protid (pf_t)
+#define PF_DESTRUCTOR trivfs_end_using_protid (trivfs_protid_t)
+
+#define IO_IMPORTS import "pfinet.h";
+#define SOCKET_IMPORTS import "pfinet.h";