void を返す場合、wake_up_interruptible をどのように使用できるのだろうか: http://www.cs.fsu.edu/~baker/devices/lxr/http/source/linux/include/linux/wait.h#L161 (_wake_up function void を返します)。たとえば、down_interruptible 関数は int を返します: http://www.cs.fsu.edu/~baker/devices/lxr/http/source/linux/kernel/semaphore.c#L75これにより、次のようなコードを記述できます。
if ( down_interruptible(&dev->sem) )
return -ERESTARTSYS;
// continue: down_interruptible succeeded
wake_up_interruptible を呼び出して中断されたときに、void が返された場合、どうすればこれを知ることができますか?