1 files changed, 67 insertions, 0 deletions
diff --git a/boot-proxy-exc/exc_impl.c~ b/boot-proxy-exc/exc_impl.c~
new file mode 100644
index 00000000..a99a7e3c
--- /dev/null
+++ b/boot-proxy-exc/exc_impl.c~
@@ -0,0 +1,67 @@
+/* 
+   Copyright (C) 2009 Free Software Foundation, Inc.
+   Written by Zheng Da.
+
+   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; see the file COPYING.  If not, write to
+   the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
+
+/* This file implements the server-side RPC functions of mach_host. */
+
+#include <mach.h>
+#include <hurd.h>
+#include <assert.h>
+
+#include "util.h"
+#include "mach_proxy.h"
+
+kern_return_t
+catch_exception_raise (mach_port_t exception_port, mach_port_t thread,
+		       mach_port_t task, integer_t exception,
+		       integer_t code, integer_t subcode)
+{
+  error_t err;
+  struct task_info *fault_task_pi = NULL;
+  debug ("");
+
+  int match_task (struct task_info *task_pi)
+    {
+      if (task_pi->task_port == task)
+	{
+	  fault_task_pi = task_pi;
+	  ports_port_ref (fault_task_pi);
+	  return 1;
+	}
+      return 0;
+    }
+  foreach_task (match_task);
+  
+  if (fault_task_pi == NULL)
+    {
+      fault_task_pi = ports_lookup_port (port_bucket, task, task_portclass);
+    }
+
+  if (fault_task_pi == NULL)
+    {
+      info ("cannot find the task: %d", task);
+      return EINVAL;
+    }
+
+  err = catch_exception_raise (fault_task_pi->user_exc_port,
+			       thread, fault_task_pi->task.port_right,
+			       exception, code, subcode);
+  ports_port_deref (fault_task_pi);
+  return err;
+}