K 10
svn:author
V 7
dchagin
K 8
svn:date
V 27
2011-02-15T21:42:48.470143Z
K 7
svn:log
V 280
Make a linux_rt_sigtimedwait() system call is actually working.

1) Translate the native signal number in the appropriate Linux signal.
2) Remove bogus code, which can lead to a panic as it calls
   kern_sigtimedwait with same ksiginfo.
3) Return the corresponding signal number.

END