Home
last modified time | relevance | path

Searched refs:vgic_get_target_vcpu (Results 1 – 3 of 3) sorted by relevance

/xen/xen/arch/arm/
A Dvgic.c235 struct vcpu *vgic_get_target_vcpu(struct vcpu *v, unsigned int virq) in vgic_get_target_vcpu() function
328 v_target = vgic_get_target_vcpu(v, i); in arch_move_irqs()
351 v_target = vgic_get_target_vcpu(v, irq); in vgic_disable_irqs()
401 v_target = vgic_get_target_vcpu(v, irq); in vgic_enable_irqs()
547 v = vgic_get_target_vcpu(d->vcpu[0], virq); in vgic_inject_irq()
A Dgic-vgic.c244 struct vcpu *v_target = vgic_get_target_vcpu(v, irq); in gic_update_one_lr()
441 struct vcpu *v_target = vgic_get_target_vcpu(d->vcpu[0], virq); in vgic_connect_hw_irq()
/xen/xen/include/asm-arm/
A Dvgic.h281 extern struct vcpu *vgic_get_target_vcpu(struct vcpu *v, unsigned int virq);

Completed in 5 milliseconds