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