usr/src/boot/sys/sys/_pthreadtypes.h
usr/src/compat/bhyve/sys/_pthreadtypes.h