From b70339c9e9191c3d62c66bfa0abe9138050a15c7 Mon Sep 17 00:00:00 2001
From: "Michael I. Bushnell" <mib@gnu.org>
Date: Wed, 25 Oct 1995 22:03:57 +0000
Subject: Formerly pfinet.h.~8~

---
 pfinet/pfinet.h | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/pfinet/pfinet.h b/pfinet/pfinet.h
index 72a93ee8..13c138f7 100644
--- a/pfinet/pfinet.h
+++ b/pfinet/pfinet.h
@@ -34,5 +34,21 @@ struct port_bucket *pfinet_bucket;
 
 extern struct device ether_dev;
 
+/* A port on SOCK.  Multiple sock_user's can point to the same socket. */
+struct sock_user
+{
+  struct port_info pi;
+  int isroot;
+  struct socket *sock;		/* Linux socket structure, see linux/net.h */
+};
+
+/* Socket address ports. */
+struct sock_addr
+{
+  struct port_info pi;
+  size_t len;
+  char address[0];
+};
+
 int ethernet_demuxer (mach_msg_header_t *, mach_msg_header_t *);
 void setup_ethernet_device (void);
-- 
cgit v1.2.3