arm-gic-v4.h   33 drivers/irqchip/irq-gic-v3-its.c #include <linux/irqchip/arm-gic-v4.h>
arm-gic-v4.h   13 drivers/irqchip/irq-gic-v4.c #include <linux/irqchip/arm-gic-v4.h>
arm-gic-v4.h   18 include/kvm/arm_vgic.h #include <linux/irqchip/arm-gic-v4.h>