/drivers/arm/gic/

• ../
• aarch64
• gic_v2.c
• gic_v3.c