Properly set the siginfo errno on SIGSEGV
authorKevin Klues <klueska@cs.berkeley.edu>
Sat, 7 Jun 2014 19:45:00 +0000 (12:45 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Sat, 7 Jun 2014 19:45:00 +0000 (12:45 -0700)
commitd34927e4025bf45009cea9457efe80622c3b76d8
tree7ff57361e2ca54c7f5ecf863dea97a9dd55d4de4
parent04780050cc354f55db73ddd265bb4b7aea0ea432
Properly set the siginfo errno on SIGSEGV

Also explciitly set the signal number (though this will be set
underneath anyway).
user/pthread/pthread.c