+ int exc,
+ mach_exception_code_t code,
+ mach_exception_subcode_t subcode);
+
+extern void sync_iss_to_iks(x86_saved_state_t *regs);
+
+extern void sync_iss_to_iks_unconditionally(
+ x86_saved_state_t *regs);
+
+extern void kernel_trap(x86_saved_state_t *regs, uintptr_t *lo_spp);
+
+extern void user_trap(x86_saved_state_t *regs);
+
+extern void interrupt(x86_saved_state_t *regs);
+
+extern void panic_double_fault64(x86_saved_state_t *regs);
+extern void panic_machine_check64(x86_saved_state_t *regs);