nuttx/arch/arm/include/xmc4
..
chip.h
irq.h
xmc4500_irq.h