119 static void add_sgi_source(struct kvm_vcpu *vcpu, int irq, int source)  in add_sgi_source()
124 static bool queue_sgi(struct kvm_vcpu *vcpu, int irq)  in queue_sgi()
198 				   int cpuid, int irq)  in vgic_bitmap_get_irq_val()
207 			     int irq, int val)  in vgic_bitmap_set_irq_val()
274 static bool vgic_irq_is_edge(struct kvm_vcpu *vcpu, int irq)  in vgic_irq_is_edge()
283 static int vgic_irq_is_enabled(struct kvm_vcpu *vcpu, int irq)  in vgic_irq_is_enabled()
290 static int vgic_irq_is_queued(struct kvm_vcpu *vcpu, int irq)  in vgic_irq_is_queued()
297 static int vgic_irq_is_active(struct kvm_vcpu *vcpu, int irq)  in vgic_irq_is_active()
304 static void vgic_irq_set_queued(struct kvm_vcpu *vcpu, int irq)  in vgic_irq_set_queued()
311 static void vgic_irq_clear_queued(struct kvm_vcpu *vcpu, int irq)  in vgic_irq_clear_queued()
318 static void vgic_irq_set_active(struct kvm_vcpu *vcpu, int irq)  in vgic_irq_set_active()
325 static void vgic_irq_clear_active(struct kvm_vcpu *vcpu, int irq)  in vgic_irq_clear_active()
332 static int vgic_dist_irq_get_level(struct kvm_vcpu *vcpu, int irq)  in vgic_dist_irq_get_level()
339 static void vgic_dist_irq_set_level(struct kvm_vcpu *vcpu, int irq)  in vgic_dist_irq_set_level()
346 static void vgic_dist_irq_clear_level(struct kvm_vcpu *vcpu, int irq)  in vgic_dist_irq_clear_level()
353 static int vgic_dist_irq_soft_pend(struct kvm_vcpu *vcpu, int irq)  in vgic_dist_irq_soft_pend()
360 static void vgic_dist_irq_clear_soft_pend(struct kvm_vcpu *vcpu, int irq)  in vgic_dist_irq_clear_soft_pend()
372 static int vgic_dist_irq_is_pending(struct kvm_vcpu *vcpu, int irq)  in vgic_dist_irq_is_pending()
379 void vgic_dist_irq_set_pending(struct kvm_vcpu *vcpu, int irq)  in vgic_dist_irq_set_pending()
386 void vgic_dist_irq_clear_pending(struct kvm_vcpu *vcpu, int irq)  in vgic_dist_irq_clear_pending()
393 static void vgic_cpu_irq_set(struct kvm_vcpu *vcpu, int irq)  in vgic_cpu_irq_set()
402 void vgic_cpu_irq_clear(struct kvm_vcpu *vcpu, int irq)  in vgic_cpu_irq_clear()
411 static bool vgic_can_sample_irq(struct kvm_vcpu *vcpu, int irq)  in vgic_can_sample_irq()
752 	int irq;  in vgic_validate_access()  local
1136 static void vgic_queue_irq_to_lr(struct kvm_vcpu *vcpu, int irq,  in vgic_queue_irq_to_lr()
1179 bool vgic_queue_irq(struct kvm_vcpu *vcpu, u8 sgi_source_id, int irq)  in vgic_queue_irq()
1219 static bool vgic_queue_hwirq(struct kvm_vcpu *vcpu, int irq)  in vgic_queue_hwirq()
1499 static int vgic_validate_injection(struct kvm_vcpu *vcpu, int irq, int level)  in vgic_validate_injection()
1686 static irqreturn_t vgic_maintenance_handler(int irq, void *data)  in vgic_maintenance_handler()
1720 					   int virt_irq, int irq)  in kvm_vgic_map_phys_irq()
2448 		u32 irq, int level, bool line_status)  in kvm_set_irq()