^C vs SIGKILL

I see two places where we send SIGKILL in kernel/signal.c.  The first is in
__group_complete_signal():

        if (sig_fatal(p, sig) && !(p->signal->flags & SIGNAL_GROUP_EXIT) &&
            !sigismember(&t->real_blocked, sig) &&
            (sig == SIGKILL || !(t->ptrace & PT_PTRACED))) {
[...]
                        do {
                                sigaddset(&t->pending.signal, SIGKILL);
                                signal_wake_up(t, 1);
                        } while_each_thread(p, t);

The second is in zap_other_threads():
                sigaddset(&t->pending.signal, SIGKILL);
                signal_wake_up(t, 1);

I'm pretty sure the first case is where it happens.