coreboot-kgpe-d16/src/vendorcode/amd/include
..
cbtypes.h
gcc-intrin.h
Porting.h