coreboot/payloads/libpayload/include/sys
..
stdint.h
types.h