Searched refs:vgic_get_target_vcpu (Results 1 – 3 of 3) sorted by relevance
227 struct vcpu *vgic_get_target_vcpu(struct vcpu *v, unsigned int virq) in vgic_get_target_vcpu() function320 v_target = vgic_get_target_vcpu(v, i); in arch_move_irqs()343 v_target = vgic_get_target_vcpu(v, irq); in vgic_disable_irqs()393 v_target = vgic_get_target_vcpu(v, irq); in vgic_enable_irqs()578 v = vgic_get_target_vcpu(d->vcpu[0], virq); in vgic_vcpu_inject_spi()
142 struct vcpu *v_target = vgic_get_target_vcpu(d->vcpu[0], virq); in gic_route_irq_to_guest()180 struct vcpu *v_target = vgic_get_target_vcpu(d->vcpu[0], virq); in gic_remove_irq_from_guest()589 struct vcpu *v_target = vgic_get_target_vcpu(v, irq); in gic_update_one_lr()
204 extern struct vcpu *vgic_get_target_vcpu(struct vcpu *v, unsigned int virq);
Completed in 6 milliseconds