nuttx/arch/tricore/include/tc4da
..
chip.h
irq.h