incubator-nuttx/arch/arm64/include/zynq-mpsoc
..
chip.h
irq.h