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