Re: BSD signal not aborting semaphore_wait() in the kernel on an SMP