This directory also contains the Python sources for hdrgen, which is what generates the headers public libc headers. The definitions for these headers are in the include directory. The .h.def files are the bases and the .yaml files are the contents.