nuttx/arch/arm/include/lpc43xx
..
chip.h
irq.h