Those include headers have been stolen from `xnu-2050.18.24.tar.gz`
and slightly modified. They should be shipped with the OS or the
development tools but they are not. They are from Mac OS X 10.8.2 but
should work with previous versions just fine.

  http://www.opensource.apple.com/source/xnu/xnu-2050.18.24/