incubator-nuttx/arch/arm/include/fvp-v8r-aarch32
..
chip.h
irq.h