incubator-nuttx/arch/arm/include/xmc4
..
chip.h
irq.h
xmc4500_irq.h
xmc4700_irq.h
xmc4800_irq.h