incubator-nuttx/arch/avr/include/at32uc3
..
irq.h