nuttx/arch/arm64/include/fvp-v8r
..
chip.h
irq.h