Lines Matching refs:vgic_irq
102 static inline bool irq_is_pending(struct vgic_irq *irq) in irq_is_pending()
110 static inline bool vgic_irq_is_mapped_level(struct vgic_irq *irq) in vgic_irq_is_mapped_level()
115 static inline int vgic_irq_get_lr_count(struct vgic_irq *irq) in vgic_irq_get_lr_count()
124 static inline bool vgic_irq_is_multi_sgi(struct vgic_irq *irq) in vgic_irq_is_multi_sgi()
162 struct vgic_irq *vgic_get_irq(struct kvm *kvm, struct kvm_vcpu *vcpu,
164 void __vgic_put_lpi_locked(struct kvm *kvm, struct vgic_irq *irq);
165 void vgic_put_irq(struct kvm *kvm, struct vgic_irq *irq);
166 bool vgic_get_phys_line_level(struct vgic_irq *irq);
167 void vgic_irq_set_phys_pending(struct vgic_irq *irq, bool pending);
168 void vgic_irq_set_phys_active(struct vgic_irq *irq, bool active);
169 bool vgic_queue_irq_unlock(struct kvm *kvm, struct vgic_irq *irq,
172 void vgic_irq_handle_resampling(struct vgic_irq *irq,
179 void vgic_v2_populate_lr(struct kvm_vcpu *vcpu, struct vgic_irq *irq, int lr);
204 static inline void vgic_get_irq_kref(struct vgic_irq *irq) in vgic_get_irq_kref()
213 void vgic_v3_populate_lr(struct kvm_vcpu *vcpu, struct vgic_irq *irq, int lr);
222 int vgic_v3_lpi_sync_pending_status(struct kvm *kvm, struct vgic_irq *irq);
312 u32 devid, u32 eventid, struct vgic_irq **irq);
323 void vgic_v4_get_vlpi_state(struct vgic_irq *irq, bool *val);