#include <mach/exc_server.h>
#include <hurd/signal.h>
+#include <assert.h>
/* Called by the microkernel when a thread gets an exception. */
exception_data_t code,
mach_msg_type_number_t codeCnt
#else /* Vanilla Mach 3.0 interface. */
- int exception, int code, int subcode
+ integer_t exception,
+ integer_t code, integer_t subcode
#endif
)
{