52 static bool handle_mmio_rao_wi(struct kvm_vcpu *vcpu,  in handle_mmio_rao_wi()
63 static bool handle_mmio_ctlr(struct kvm_vcpu *vcpu,  in handle_mmio_ctlr()
95 static bool handle_mmio_typer(struct kvm_vcpu *vcpu,  in handle_mmio_typer()
110 static bool handle_mmio_iidr(struct kvm_vcpu *vcpu,  in handle_mmio_iidr()
122 static bool handle_mmio_set_enable_reg_dist(struct kvm_vcpu *vcpu,  in handle_mmio_set_enable_reg_dist()
136 static bool handle_mmio_clear_enable_reg_dist(struct kvm_vcpu *vcpu,  in handle_mmio_clear_enable_reg_dist()
150 static bool handle_mmio_set_pending_reg_dist(struct kvm_vcpu *vcpu,  in handle_mmio_set_pending_reg_dist()
163 static bool handle_mmio_clear_pending_reg_dist(struct kvm_vcpu *vcpu,  in handle_mmio_clear_pending_reg_dist()
176 static bool handle_mmio_priority_reg_dist(struct kvm_vcpu *vcpu,  in handle_mmio_priority_reg_dist()
195 static bool handle_mmio_cfg_reg_dist(struct kvm_vcpu *vcpu,  in handle_mmio_cfg_reg_dist()
250 static bool handle_mmio_route_reg(struct kvm_vcpu *vcpu,  in handle_mmio_route_reg()
325 static bool handle_mmio_idregs(struct kvm_vcpu *vcpu,  in handle_mmio_idregs()
505 static bool handle_mmio_ctlr_redist(struct kvm_vcpu *vcpu,  in handle_mmio_ctlr_redist()
515 static bool handle_mmio_typer_redist(struct kvm_vcpu *vcpu,  in handle_mmio_typer_redist()
542 static bool handle_mmio_set_enable_reg_redist(struct kvm_vcpu *vcpu,  in handle_mmio_set_enable_reg_redist()
553 static bool handle_mmio_clear_enable_reg_redist(struct kvm_vcpu *vcpu,  in handle_mmio_clear_enable_reg_redist()
564 static bool handle_mmio_set_pending_reg_redist(struct kvm_vcpu *vcpu,  in handle_mmio_set_pending_reg_redist()
574 static bool handle_mmio_clear_pending_reg_redist(struct kvm_vcpu *vcpu,  in handle_mmio_clear_pending_reg_redist()
584 static bool handle_mmio_priority_reg_redist(struct kvm_vcpu *vcpu,  in handle_mmio_priority_reg_redist()
598 static bool handle_mmio_cfg_reg_redist(struct kvm_vcpu *vcpu,  in handle_mmio_cfg_reg_redist()
711 static bool vgic_v3_queue_sgi(struct kvm_vcpu *vcpu, int irq)  in vgic_v3_queue_sgi()
822 static void vgic_v3_add_sgi_source(struct kvm_vcpu *vcpu, int irq, int source)  in vgic_v3_add_sgi_source()
844 static int match_mpidr(u64 sgi_aff, u16 sgi_cpu_mask, struct kvm_vcpu *vcpu)  in match_mpidr()
885 void vgic_v3_dispatch_sgi(struct kvm_vcpu *vcpu, u64 reg)  in vgic_v3_dispatch_sgi()