1 /* Handling of signals */
5 #include <pthread-l4.h>
6 #include <l4/sys/thread.h>
8 int pthread_kill(pthread_t thread, int signo);
9 int pthread_kill(pthread_t thread, int signo)
11 l4_cap_idx_t c = pthread_getl4cap(thread);
19 if (l4_is_invalid_cap(c))
25 int x = l4_error(l4_thread_ex_regs(c, ~0UL, ~0UL,
26 L4_THREAD_EX_REGS_TRIGGER_EXCEPTION));