diff options
Diffstat (limited to 'pfinet/pfinet.h')
| -rw-r--r-- | pfinet/pfinet.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pfinet/pfinet.h b/pfinet/pfinet.h index 2352be70..57e678c0 100644 --- a/pfinet/pfinet.h +++ b/pfinet/pfinet.h @@ -58,6 +58,7 @@ void ethernet_initialize (void); int ethernet_demuxer (mach_msg_header_t *, mach_msg_header_t *); void setup_ethernet_device (char *, struct device **); void setup_dummy_device (char *, struct device **); +void setup_tunnel_device (char *, struct device **); struct sock_user *make_sock_user (struct socket *, int, int, int); error_t make_sockaddr_port (struct socket *, int, mach_port_t *, mach_msg_type_name_t *); |