/nuttx/arch/arm/include/lpc31xx/
../
irq.h