91 static void add_sgi_source(struct kvm_vcpu *vcpu, int irq, int source)  in add_sgi_source()
96 static bool queue_sgi(struct kvm_vcpu *vcpu, int irq)  in queue_sgi()
170 				   int cpuid, int irq)  in vgic_bitmap_get_irq_val()
179 			     int irq, int val)  in vgic_bitmap_set_irq_val()
246 static bool vgic_irq_is_edge(struct kvm_vcpu *vcpu, int irq)  in vgic_irq_is_edge()
255 static int vgic_irq_is_enabled(struct kvm_vcpu *vcpu, int irq)  in vgic_irq_is_enabled()
262 static int vgic_irq_is_queued(struct kvm_vcpu *vcpu, int irq)  in vgic_irq_is_queued()
269 static int vgic_irq_is_active(struct kvm_vcpu *vcpu, int irq)  in vgic_irq_is_active()
276 static void vgic_irq_set_queued(struct kvm_vcpu *vcpu, int irq)  in vgic_irq_set_queued()
283 static void vgic_irq_clear_queued(struct kvm_vcpu *vcpu, int irq)  in vgic_irq_clear_queued()
290 static void vgic_irq_set_active(struct kvm_vcpu *vcpu, int irq)  in vgic_irq_set_active()
297 static void vgic_irq_clear_active(struct kvm_vcpu *vcpu, int irq)  in vgic_irq_clear_active()
304 static int vgic_dist_irq_get_level(struct kvm_vcpu *vcpu, int irq)  in vgic_dist_irq_get_level()
311 static void vgic_dist_irq_set_level(struct kvm_vcpu *vcpu, int irq)  in vgic_dist_irq_set_level()
318 static void vgic_dist_irq_clear_level(struct kvm_vcpu *vcpu, int irq)  in vgic_dist_irq_clear_level()
325 static int vgic_dist_irq_soft_pend(struct kvm_vcpu *vcpu, int irq)  in vgic_dist_irq_soft_pend()
332 static void vgic_dist_irq_clear_soft_pend(struct kvm_vcpu *vcpu, int irq)  in vgic_dist_irq_clear_soft_pend()
339 static int vgic_dist_irq_is_pending(struct kvm_vcpu *vcpu, int irq)  in vgic_dist_irq_is_pending()
346 void vgic_dist_irq_set_pending(struct kvm_vcpu *vcpu, int irq)  in vgic_dist_irq_set_pending()
353 void vgic_dist_irq_clear_pending(struct kvm_vcpu *vcpu, int irq)  in vgic_dist_irq_clear_pending()
360 static void vgic_cpu_irq_set(struct kvm_vcpu *vcpu, int irq)  in vgic_cpu_irq_set()
369 void vgic_cpu_irq_clear(struct kvm_vcpu *vcpu, int irq)  in vgic_cpu_irq_clear()
378 static bool vgic_can_sample_irq(struct kvm_vcpu *vcpu, int irq)  in vgic_can_sample_irq()
734 	int irq;  in vgic_validate_access()  local
1067 static void vgic_retire_lr(int lr_nr, int irq, struct kvm_vcpu *vcpu)  in vgic_retire_lr()
1104 static void vgic_queue_irq_to_lr(struct kvm_vcpu *vcpu, int irq,  in vgic_queue_irq_to_lr()
1129 bool vgic_queue_irq(struct kvm_vcpu *vcpu, u8 sgi_source_id, int irq)  in vgic_queue_irq()
1174 static bool vgic_queue_hwirq(struct kvm_vcpu *vcpu, int irq)  in vgic_queue_hwirq()
1433 static int vgic_validate_injection(struct kvm_vcpu *vcpu, int irq, int level)  in vgic_validate_injection()
1577 static irqreturn_t vgic_maintenance_handler(int irq, void *data)  in vgic_maintenance_handler()
2156 		u32 irq, int level, bool line_status)  in kvm_set_irq()