diff options
| author | Miles Bader <miles@gnu.org> | 1995-07-08 16:43:03 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-07-08 16:43:03 +0000 |
| commit | ce9d889cbf002d8b3e88d2d7dc5ae10c4b787f52 (patch) | |
| tree | cad1dbb501422d16d1aa4af4fe1bd36dd3b60b0e /devio/devpager.c | |
| parent | 17bf8dba7084eb56d7e924b54e25266149b3b919 (diff) | |
(free_reply_ports, free_reply_ports_lock): New variables.
(__mig_get_reply_port, __mig_put_reply_port, __mig_dealloc_reply_port,
mig_get_reply_port, mig_put_reply_port, mig_dealloc_reply_port):
Provide better versions of these routines that won't leak reply ports.
Diffstat (limited to 'devio/devpager.c')
0 files changed, 0 insertions, 0 deletions