incubator-nuttx/arch/arm/include/lpc54xx
..
chip.h
irq.h
lpc546x_irq.h