coreboot-kgpe-d16/payloads/libpayload/include/armv7/arch
..
io.h
types.h
virtual.h