1 files changed, 9 insertions, 0 deletions
diff --git a/pfinet/pfinet.h b/pfinet/pfinet.h
index 57e678c0..6b248722 100644
--- a/pfinet/pfinet.h
+++ b/pfinet/pfinet.h
@@ -54,6 +54,15 @@ struct sock_addr
   struct sockaddr address;
 };
 
+/* Trivfs control structure for pfinet.  */
+struct trivfs_control *pfinetctl;
+
+/* Owner of the underlying node.  */
+uid_t pfinet_owner;
+
+/* Group of the underlying node.  */
+uid_t pfinet_group;
+
 void ethernet_initialize (void);
 int ethernet_demuxer (mach_msg_header_t *, mach_msg_header_t *);
 void setup_ethernet_device (char *, struct device **);