pthread: fix spinlock
pthread: Ensure that the header's typedefs are referenced