pthread: Fix semaphore's TAILQ type
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 19 Oct 2015 15:25:56 +0000 (11:25 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 28 Oct 2015 16:05:12 +0000 (12:05 -0400)
commit729fedfd3357e00dfc0be597e10c5be7fa9ccf86
treec951bf7a704cc41e50985ea8d282f0b4a50f89f8
parent542db263217c6c54e72a50fe03c0f3c148648de6
pthread: Fix semaphore's TAILQ type

The semaphore's TAILQ isn't of pthreads, it's of sem_queue_elements.  I
spotted this while trying to debug something else in the area.  The
warning was hidden because the bad assignment was in a system header.

Specifically, when the TAILQ macros attempt to do some form of
assignment, they should generate an incompatible pointer type warning.
However, sys/queue.h is a system header, and those warnings are ignored
by default.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/pthread/semaphore.c
user/pthread/semaphore.h