diff options
author | Miles Bader <miles@gnu.org> | 1995-07-17 20:06:47 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1995-07-17 20:06:47 +0000 |
commit | a49c9638dd867c832ca880c2d0343eaa41fd6851 (patch) | |
tree | 8669e15afa5216d983c1a03c6becaa3f100bd1a4 /defpager/Makefile | |
parent | 43d54d9e0a34a94f7d98daf80d8f6f66ea8087fa (diff) |
(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.
Diffstat (limited to 'defpager/Makefile')
0 files changed, 0 insertions, 0 deletions