summaryrefslogtreecommitdiff
path: root/proc/proc_exc.defs
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/proc_exc.defs
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/proc_exc.defs')
-rw-r--r--proc/proc_exc.defs8
1 files changed, 7 insertions, 1 deletions
diff --git a/proc/proc_exc.defs b/proc/proc_exc.defs
index e9c58f1c..c9108246 100644
--- a/proc/proc_exc.defs
+++ b/proc/proc_exc.defs
@@ -33,9 +33,15 @@ subsystem proc_exc 2400;
#include <mach/std_types.defs>
ServerPrefix S_;
+import "mig-decls.h";
+
+type exception_t = mach_port_copy_send_t
+ cusertype: mach_port_t
+ intran: exc_t begin_using_exc_port (exception_t)
+ destructor: end_using_exc (exc_t);
routine proc_exception_raise (
- exception_port: mach_port_t;
+ exception_port: exception_t;
replyport reply: mach_port_poly_t;
msgoption flags: integer_t;
thread: mach_port_t;