#ifndef	_exc_server_
#define	_exc_server_

/* Module exc */

#include <mach/kern_return.h>
#include <mach/port.h>
#include <mach/message.h>

#include <mach/std_types.h>

/* Routine exception_raise */
#ifdef	mig_external
mig_external
#else
extern
#endif
kern_return_t catch_exception_raise
#if	defined(LINTLIBRARY)
    (exception_port, thread, task, exception, code, subcode)
	mach_port_t exception_port;
	mach_port_t thread;
	mach_port_t task;
	integer_t exception;
	integer_t code;
	integer_t subcode;
{ return catch_exception_raise(exception_port, thread, task, exception, code, subcode); }
#else
(
	mach_port_t exception_port,
	mach_port_t thread,
	mach_port_t task,
	integer_t exception,
	integer_t code,
	integer_t subcode
);
#endif

#endif	/* not defined(_exc_server_) */