irqd_set_forwarded_to_vcpu  868 arch/powerpc/sysdev/xive/common.c 		irqd_set_forwarded_to_vcpu(d);
irqd_set_forwarded_to_vcpu 1315 drivers/irqchip/irq-gic-v3-its.c 		irqd_set_forwarded_to_vcpu(d);
irqd_set_forwarded_to_vcpu  566 drivers/irqchip/irq-gic-v3.c 		irqd_set_forwarded_to_vcpu(d);
irqd_set_forwarded_to_vcpu  322 drivers/irqchip/irq-gic.c 		irqd_set_forwarded_to_vcpu(d);