-boolean_t machine_exception(int exception, mach_exception_code_t code,
- mach_exception_subcode_t subcode,
- int *unix_signal, mach_exception_code_t *unix_code);
-void ux_handler_init(void);
+extern kern_return_t
+handle_ux_exception(thread_t thread, int exception,
+ mach_exception_code_t code,
+ mach_exception_subcode_t subcode);