diff options
author | Miles Bader <miles@gnu.org> | 1996-07-19 13:39:27 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1996-07-19 13:39:27 +0000 |
commit | 286df12694b4036e890111ca99e43707afd9e1b1 (patch) | |
tree | c47050d9780d2bf7897d36addde31c90f6ccda55 /pfinet/pfinet.h | |
parent | 0b43fab700f4b6e057ff9bd9e1f879575623ccfd (diff) |
(make_sock_user): Declaration updated.
Diffstat (limited to 'pfinet/pfinet.h')
-rw-r--r-- | pfinet/pfinet.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pfinet/pfinet.h b/pfinet/pfinet.h index efce1370..966a4e8d 100644 --- a/pfinet/pfinet.h +++ b/pfinet/pfinet.h @@ -63,7 +63,7 @@ int ethernet_demuxer (mach_msg_header_t *, mach_msg_header_t *); void setup_ethernet_device (char *); void become_task_protid (struct trivfs_protid *); void become_task (struct sock_user *); -struct sock_user *make_sock_user (struct socket *, int); +struct sock_user *make_sock_user (struct socket *, int, int); error_t make_sockaddr_port (struct socket *, int, mach_port_t *, mach_msg_type_name_t *); void init_devices (void); |