/include/drivers/nxp/gic/gicv2/

• ../
• plat_gic.h