+ ktrsysret(p, code, error, rval[0], callp->sy_funnel);
+
+ KERNEL_DEBUG_CONSTANT(BSDDBG_CODE(DBG_BSD_EXCP_SC, code) | DBG_FUNC_END,
+ error, rval[0], rval[1], 0, 0);
+
+ if (callp->sy_funnel != NO_FUNNEL) {
+ assert(thread_funnel_get() == THR_FUNNEL_NULL);
+ (void) thread_funnel_set(current_thread()->funnel_lock, FALSE);
+ }