Lines Matching refs:pending_irq
34 static inline void gic_set_lr(int lr, struct pending_irq *p, in gic_set_lr()
49 static inline void gic_add_to_lr_pending(struct vcpu *v, struct pending_irq *n) in gic_add_to_lr_pending()
51 struct pending_irq *iter; 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()
78 struct pending_irq *n = irq_to_pending(v, virtual_irq); in gic_raise_inflight_irq()
110 struct pending_irq *p, in gic_find_unused_lr()
141 struct pending_irq *p = irq_to_pending(v, virtual_irq); in gic_raise_guest_irq()
165 struct pending_irq *p; in gic_update_one_lr()
280 struct pending_irq *p, *t, *p_r; in gic_restore_pending_irqs()
336 struct pending_irq *p, *t; in gic_clear_pending_irqs()
357 struct pending_irq *p; in vgic_vcpu_pending_irq()
407 struct pending_irq *p; in gic_dump_vgic_info()
419 struct pending_irq *p; in vgic_get_hw_irq_desc()
443 struct pending_irq *p = irq_to_pending(v_target, virq); in vgic_connect_hw_irq()