summaryrefslogtreecommitdiff
path: root/libdiskfs/dead-name.c
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1996-04-23 15:12:21 +0000
committerMichael I. Bushnell <mib@gnu.org>1996-04-23 15:12:21 +0000
commitdb9ea99045d48744300f736d1a55e810425f92d8 (patch)
tree4c525f4d52875d84a560b183d5a3b5e1aad46873 /libdiskfs/dead-name.c
parent804b2f7a0f500bd81a3083df4d094f527c8682db (diff)
Initial revision
Diffstat (limited to 'libdiskfs/dead-name.c')
-rw-r--r--libdiskfs/dead-name.c44
1 files changed, 44 insertions, 0 deletions
diff --git a/libdiskfs/dead-name.c b/libdiskfs/dead-name.c
new file mode 100644
index 00000000..3d9a2ffd
--- /dev/null
+++ b/libdiskfs/dead-name.c
@@ -0,0 +1,44 @@
+/* Handle dead name notifications on ports
+ Copyright (C) 1996 Free Software Foundation, Inc.
+ Written by Michael I. Bushnell, p/BSG.
+
+ This file is part of the GNU Hurd.
+
+ The GNU Hurd is free software; you can redistribute it and/or
+ modify it under the terms of the GNU General Public License as
+ published by the Free Software Foundation; either version 2, or (at
+ your option) any later version.
+
+ The GNU Hurd is distributed in the hope that it will be useful, but
+ WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+ General Public License for more details.
+
+ You should have received a copy of the GNU General Public License
+ along with this program; if not, write to the Free Software
+ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111, USA. */
+
+#include "priv.h"
+
+void
+ports_dead_name (void *notify, mach_port_t dead_name)
+{
+ struct protid *pi = ports_lookup_port (diskfs_port_bucket, port,
+ diskfs_protid_class);
+ struct node *np;
+
+ if (pi)
+ {
+ np = pi->po->np;
+ mutex_lock (&np->lock);
+ if (dead_name == np->sockaddr)
+ {
+ mach_port_deallocate (mach_task_self (), np->sockaddr);
+ diskfs_nput (np);
+ }
+ else
+ mutex_unlock (&np->lock);
+ }
+
+ ports_interrupt_notified_rpcs (notify, dead_name, MACH_NOTIFY_DEAD_NAME);
+}