IPI_SIGNAL
sigaddset(&sigset, IPI_SIGNAL);
if (sigaction(IPI_SIGNAL, &action, NULL) < 0)
sigaddset(&data->sigset, IPI_SIGNAL);
return pthread_sigqueue(cpu_threads[cpu], IPI_SIGNAL, value);
sigaddset(&set, IPI_SIGNAL);