37 static void vgic_dispatch_sgi(struct kvm_vcpu *vcpu, u32 reg);
43 static bool handle_mmio_misc(struct kvm_vcpu *vcpu,  in handle_mmio_misc()
78 static bool handle_mmio_set_enable_reg(struct kvm_vcpu *vcpu,  in handle_mmio_set_enable_reg()
86 static bool handle_mmio_clear_enable_reg(struct kvm_vcpu *vcpu,  in handle_mmio_clear_enable_reg()
94 static bool handle_mmio_set_pending_reg(struct kvm_vcpu *vcpu,  in handle_mmio_set_pending_reg()
102 static bool handle_mmio_clear_pending_reg(struct kvm_vcpu *vcpu,  in handle_mmio_clear_pending_reg()
110 static bool handle_mmio_set_active_reg(struct kvm_vcpu *vcpu,  in handle_mmio_set_active_reg()
118 static bool handle_mmio_clear_active_reg(struct kvm_vcpu *vcpu,  in handle_mmio_clear_active_reg()
126 static bool handle_mmio_priority_reg(struct kvm_vcpu *vcpu,  in handle_mmio_priority_reg()
157 	struct kvm_vcpu *vcpu;  in vgic_set_target_reg()
185 static bool handle_mmio_target_reg(struct kvm_vcpu *vcpu,  in handle_mmio_target_reg()
216 static bool handle_mmio_cfg_reg(struct kvm_vcpu *vcpu,  in handle_mmio_cfg_reg()
227 static bool handle_mmio_sgi_reg(struct kvm_vcpu *vcpu,  in handle_mmio_sgi_reg()
244 static bool read_set_clear_sgi_pend_reg(struct kvm_vcpu *vcpu,  in read_set_clear_sgi_pend_reg()
266 static bool write_set_clear_sgi_pend_reg(struct kvm_vcpu *vcpu,  in write_set_clear_sgi_pend_reg()
302 static bool handle_mmio_sgi_set(struct kvm_vcpu *vcpu,  in handle_mmio_sgi_set()
312 static bool handle_mmio_sgi_clear(struct kvm_vcpu *vcpu,  in handle_mmio_sgi_clear()
407 static void vgic_dispatch_sgi(struct kvm_vcpu *vcpu, u32 reg)  in vgic_dispatch_sgi()
449 static bool vgic_v2_queue_sgi(struct kvm_vcpu *vcpu, int irq)  in vgic_v2_queue_sgi()
544 static void vgic_v2_add_sgi_source(struct kvm_vcpu *vcpu, int irq, int source)  in vgic_v2_add_sgi_source()
573 static bool handle_cpu_mmio_misc(struct kvm_vcpu *vcpu,  in handle_cpu_mmio_misc()
614 static bool handle_mmio_abpr(struct kvm_vcpu *vcpu,  in handle_mmio_abpr()
620 static bool handle_cpu_mmio_ident(struct kvm_vcpu *vcpu,  in handle_cpu_mmio_ident()
671 	struct kvm_vcpu *vcpu, *tmp_vcpu;  in vgic_attr_regs_access()