Lines Matching defs:v
49 static inline void gic_add_to_lr_pending(struct vcpu *v, struct pending_irq *n) in gic_add_to_lr_pending()
69 void gic_remove_from_lr_pending(struct vcpu *v, struct pending_irq *p) in gic_remove_from_lr_pending()
76 void gic_raise_inflight_irq(struct vcpu *v, unsigned int virtual_irq) in gic_raise_inflight_irq()
109 static unsigned int gic_find_unused_lr(struct vcpu *v, in gic_find_unused_lr()
136 void gic_raise_guest_irq(struct vcpu *v, unsigned int virtual_irq, in gic_raise_guest_irq()
163 static void gic_update_one_lr(struct vcpu *v, int i) in gic_update_one_lr()
252 void vgic_sync_from_lrs(struct vcpu *v) in vgic_sync_from_lrs()
277 static void gic_restore_pending_irqs(struct vcpu *v) in gic_restore_pending_irqs()
334 void gic_clear_pending_irqs(struct vcpu *v) in gic_clear_pending_irqs()
355 int vgic_vcpu_pending_irq(struct vcpu *v) in vgic_vcpu_pending_irq()
405 void gic_dump_vgic_info(struct vcpu *v) in gic_dump_vgic_info()
416 struct irq_desc *vgic_get_hw_irq_desc(struct domain *d, struct vcpu *v, in vgic_get_hw_irq_desc()
433 int vgic_connect_hw_irq(struct domain *d, struct vcpu *v, unsigned int virq, in vgic_connect_hw_irq()