/include/drivers/nxp/gic/gicv3/

• ../
• plat_gic.h