Confirmed.
IIRC,
timespec_get() started out in
threads.h but was at some point, during the development of the C11 standard, moved to
time.h. I updated the header files but apparently forgot the multi-threading conditionals in the code.
(observation: this isn't the most used function in the runtime...
)