/include/hw/tricore/

• ../
• tc27x_soc.h
• triboard.h
• tricore.h
• tricore_testdevice.h