nuttx/arch/arm/include/at32
..
at32f43xxx_irq.h
chip.h
irq.h