From a49c9638dd867c832ca880c2d0343eaa41fd6851 Mon Sep 17 00:00:00 2001 From: Miles Bader Date: Mon, 17 Jul 1995 20:06:47 +0000 Subject: (socket_create): Change type of SERVER to pf_t. (socket_create_address, socket_fabricate_address): Rename first arg to `server', of type mach_port_t (so it can be either pf_t or socket_t). (socket_recv): Change type of ADDR to mach_port_send_t. (socket_send, socket_recv): Change type of AMOUNT to mach_msg_type_number_t. --- hurd/socket.defs | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'hurd') diff --git a/hurd/socket.defs b/hurd/socket.defs index 167039c9..64245add 100644 --- a/hurd/socket.defs +++ b/hurd/socket.defs @@ -33,7 +33,7 @@ INTR_INTERFACE /* Create a new socket. Sock type is, for example, SOCK_STREAM, SOCK_DGRAM, or some such. */ routine socket_create ( - server: socket_t; + server: pf_t; sock_type: int; protocol: int; out sock: mach_port_send_t); @@ -76,7 +76,7 @@ routine socket_connect2 ( /* Create an address from a sockaddr. */ routine socket_create_address ( - sock: socket_t; + server: mach_port_t; /* Can be either pf_t or socket_t. */ sockaddr_type: int; sockaddr: data_t; out addr: mach_port_send_t; @@ -84,7 +84,7 @@ routine socket_create_address ( /* Create an address without any sockaddr. */ routine socket_fabricate_address ( - sock: socket_t; + server: mach_port_t; /* Can be either pf_t or socket_t. */ sockaddr_type: int; out addr: mach_port_send_t); @@ -123,15 +123,15 @@ routine socket_send ( data: data_t; ports: portarray_t; control: data_t; - out amount: int); + out amount: mach_msg_type_number_t); /* Receive data from a socket, possibly including Mach ports. */ routine socket_recv ( sock: socket_t; - out addr: addr_port_t; + out addr: mach_port_send_t; flags: int; out data: data_t, dealloc; out ports: portarray_t, dealloc; out control: data_t, dealloc; out outflags: int; - amount: int); + amount: mach_msg_type_number_t); -- cgit v1.2.3