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);