summaryrefslogtreecommitdiff
path: root/proc/mig-decls.h
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2013-11-28 19:39:35 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-01-20 10:44:49 +0100
commit7cb7fa6b3a0d02985b4a51f7823bc1cb631d6bfa (patch)
tree58a05219abceba44a440b6e88d414e57df39eb60 /proc/mig-decls.h
parentba1f47ffee3d3a2d31a47eeb461283a93e05cf39 (diff)
proc: fix the receiver lookup in S_proc_exception_raise
* proc/mgt.c (S_proc_exception_raise): Update accordingly. * proc/mig-decls.h: New file. * proc/proc_exc.defs: Add translation functions.
Diffstat (limited to 'proc/mig-decls.h')
-rw-r--r--proc/mig-decls.h42
1 files changed, 42 insertions, 0 deletions
diff --git a/proc/mig-decls.h b/proc/mig-decls.h
new file mode 100644
index 00000000..0d5bd4df
--- /dev/null
+++ b/proc/mig-decls.h
@@ -0,0 +1,42 @@
+/* Translation functions for mig.
+
+ Copyright (C) 2013 Free Software Foundation, Inc.
+
+ Written by Justus Winter <4winter@informatik.uni-hamburg.de>
+
+ 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 the GNU Hurd. If not, see <http://www.gnu.org/licenses/>. */
+
+#ifndef __MIG_DECLS_H__
+#define __MIG_DECLS_H__
+
+#include "proc.h"
+
+typedef struct exc* exc_t;
+
+static inline exc_t __attribute__ ((unused))
+begin_using_exc_port (mach_port_t port)
+{
+ return ports_lookup_port (NULL, port, exc_class);
+}
+
+static inline void __attribute__ ((unused))
+end_using_exc (exc_t exc)
+{
+ if (exc != NULL)
+ ports_port_deref (exc);
+}
+
+#endif