1 |
/* Type decls for mig-produced server stubs |
/* Type decls for mig-produced server stubs |
2 |
|
|
3 |
Copyright (C) 1995 Free Software Foundation, Inc. |
Copyright (C) 1995,2001 Free Software Foundation, Inc. |
4 |
|
|
5 |
Written by Miles Bader <miles@gnu.ai.mit.edu> |
Written by Miles Bader <miles@gnu.org> |
6 |
|
|
7 |
This file is part of the GNU Hurd. |
This file is part of the GNU Hurd. |
8 |
|
|
30 |
typedef struct sock_user *sock_user_t; |
typedef struct sock_user *sock_user_t; |
31 |
typedef struct addr *addr_t; |
typedef struct addr *addr_t; |
32 |
|
|
33 |
extern inline |
static inline sock_user_t __attribute__ ((unused)) |
34 |
sock_user_t begin_using_sock_user_port(mach_port_t port) |
begin_using_sock_user_port(mach_port_t port) |
35 |
{ |
{ |
36 |
return (sock_user_t)ports_lookup_port (0, port, sock_user_port_class); |
return (sock_user_t)ports_lookup_port (0, port, sock_user_port_class); |
37 |
} |
} |
38 |
|
|
39 |
extern inline void |
static inline void __attribute__ ((unused)) |
40 |
end_using_sock_user_port (sock_user_t sock_user) |
end_using_sock_user_port (sock_user_t sock_user) |
41 |
{ |
{ |
42 |
if (sock_user != NULL) |
if (sock_user != NULL) |
43 |
ports_port_deref (sock_user); |
ports_port_deref (sock_user); |
44 |
} |
} |
45 |
|
|
46 |
extern inline |
static inline addr_t __attribute__ ((unused)) |
47 |
addr_t begin_using_addr_port(mach_port_t port) |
begin_using_addr_port(mach_port_t port) |
48 |
{ |
{ |
49 |
return (addr_t)ports_lookup_port (0, port, addr_port_class); |
return (addr_t)ports_lookup_port (0, port, addr_port_class); |
50 |
} |
} |
51 |
|
|
52 |
extern inline void |
static inline void __attribute__ ((unused)) |
53 |
end_using_addr_port (addr_t addr) |
end_using_addr_port (addr_t addr) |
54 |
{ |
{ |
55 |
if (addr != NULL) |
if (addr != NULL) |