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