Lines Matching defs:v
35 static inline struct vgic_irq_rank *vgic_get_rank(struct vcpu *v, int rank) in vgic_get_rank()
49 struct vgic_irq_rank *vgic_rank_offset(struct vcpu *v, int b, int n, in vgic_rank_offset()
57 struct vgic_irq_rank *vgic_rank_irq(struct vcpu *v, unsigned int irq) in vgic_rank_irq()
197 int vcpu_vgic_init(struct vcpu *v) in vcpu_vgic_init()
221 int vcpu_vgic_free(struct vcpu *v) in vcpu_vgic_free()
227 struct vcpu *vgic_get_target_vcpu(struct vcpu *v, unsigned int virq) in vgic_get_target_vcpu()
234 static int vgic_get_virq_priority(struct vcpu *v, unsigned int virq) in vgic_get_virq_priority()
299 void arch_move_irqs(struct vcpu *v) in arch_move_irqs()
328 void vgic_disable_irqs(struct vcpu *v, uint32_t r, int n) in vgic_disable_irqs()
365 static inline unsigned int vgic_get_virq_type(struct vcpu *v, int n, int index) in vgic_get_virq_type()
378 void vgic_enable_irqs(struct vcpu *v, uint32_t r, int n) in vgic_enable_irqs()
418 bool vgic_to_sgi(struct vcpu *v, register_t sgir, enum gic_sgi_mode irqmode, in vgic_to_sgi()
478 struct pending_irq *irq_to_pending(struct vcpu *v, unsigned int irq) in irq_to_pending()
499 void vgic_clear_pending_irqs(struct vcpu *v) in vgic_clear_pending_irqs()
511 void vgic_vcpu_inject_irq(struct vcpu *v, unsigned int virq) in vgic_vcpu_inject_irq()
573 struct vcpu *v; in vgic_vcpu_inject_spi() local
582 void arch_evtchn_inject(struct vcpu *v) in arch_evtchn_inject()
589 struct vcpu *v = current; in vgic_emulate() local