/bsps/aarch64/include/dev/irq/
../
arm-gic-arch.h