tree 5157c1d270cda4e2933a0e7fedf8b5ed6b920f96
parent 4b469eae40368913b2841b390dada6c58296c602
author Jeff Brown <jeffbrown@google.com> 1321658227 -0800
committer Jeff Brown <jeffbrown@google.com> 1321663248 -0800

Add tgkill syscall.

Use tgkill instead of tkill to implement pthread_kill.
This is safer in the event that the thread has already terminated
and its id has been reused by a different process.

Change-Id: Ied715e11d7eadeceead79f33db5e2b5722954ac9