gic_write_dir 520 drivers/irqchip/irq-gic-v3.c gic_write_dir(gic_irq(d)); gic_write_dir 588 drivers/irqchip/irq-gic-v3.c gic_write_dir(irqnr); gic_write_dir 658 drivers/irqchip/irq-gic-v3.c gic_write_dir(irqnr); gic_write_dir 686 virt/kvm/arm/hyp/vgic-v3-sr.c gic_write_dir(pid);