diff options
| -rw-r--r-- | pfinet/mutations.h | 6 |
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"; |