arm/vgic/vgic.h

113 static inline bool irq_is_pending(struct vgic_irq *irq)  in irq_is_pending()
121 static inline bool vgic_irq_is_mapped_level(struct vgic_irq *irq)  in vgic_irq_is_mapped_level()
126 static inline int vgic_irq_get_lr_count(struct vgic_irq *irq)  in vgic_irq_get_lr_count()
135 static inline bool vgic_irq_is_multi_sgi(struct vgic_irq *irq)  in vgic_irq_is_multi_sgi()
173 struct vgic_irq *vgic_get_irq(struct kvm *kvm, struct kvm_vcpu *vcpu,
175 void vgic_put_irq(struct kvm *kvm, struct vgic_irq *irq);
176 bool vgic_get_phys_line_level(struct vgic_irq *irq);
177 void vgic_irq_set_phys_pending(struct vgic_irq *irq, bool pending);
178 void vgic_irq_set_phys_active(struct vgic_irq *irq, bool active);
179 bool vgic_queue_irq_unlock(struct kvm *kvm, struct vgic_irq *irq,
187 void vgic_v2_populate_lr(struct kvm_vcpu *vcpu, struct vgic_irq *irq, int lr);
212 static inline void vgic_get_irq_kref(struct vgic_irq *irq)  in vgic_get_irq_kref()
221 void vgic_v3_populate_lr(struct kvm_vcpu *vcpu, struct vgic_irq *irq, int lr);
230 int vgic_v3_lpi_sync_pending_status(struct kvm *kvm, struct vgic_irq *irq);
318 			 u32 devid, u32 eventid, struct vgic_irq **irq);