/usr/include/x86_64-linux-gnu/bits/initspin.h is in libc6-dev 2.15-0ubuntu10.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1
/* No thread support. */