irqd_set_forwarded_to_vcpu - Linux

Symbol: irqd_set_forwarded_to_vcpu

arch/arm64/kvm/arch_timer.c

irqd_set_forwarded_to_vcpu(d);

arch/powerpc/sysdev/xive/common.c

irqd_set_forwarded_to_vcpu(d);

drivers/irqchip/irq-gic-v3-its.c

irqd_set_forwarded_to_vcpu(d);

drivers/irqchip/irq-gic-v3.c

irqd_set_forwarded_to_vcpu(d);

drivers/irqchip/irq-gic-v5.c

irqd_set_forwarded_to_vcpu(d);

drivers/irqchip/irq-gic.c

irqd_set_forwarded_to_vcpu(d);