101 int kvm_vgic_map_resources(struct kvm *kvm)  in kvm_vgic_map_resources()
452 bool vgic_handle_enable_reg(struct kvm *kvm, struct kvm_exit_mmio *mmio,  in vgic_handle_enable_reg()
474 bool vgic_handle_set_pending_reg(struct kvm *kvm,  in vgic_handle_set_pending_reg()
511 bool vgic_handle_clear_pending_reg(struct kvm *kvm,  in vgic_handle_clear_pending_reg()
547 bool vgic_handle_set_active_reg(struct kvm *kvm,  in vgic_handle_set_active_reg()
566 bool vgic_handle_clear_active_reg(struct kvm *kvm,  in vgic_handle_clear_active_reg()
884 int vgic_register_kvm_io_dev(struct kvm *kvm, gpa_t base, int len,  in vgic_register_kvm_io_dev()
983 void vgic_update_state(struct kvm *kvm)  in vgic_update_state()
1264 	struct kvm *kvm = vcpu->kvm;  in vgic_process_maintenance()  local
1418 void vgic_kick_vcpus(struct kvm *kvm)  in vgic_kick_vcpus()
1451 static int vgic_update_irq_pending(struct kvm *kvm, int cpuid,  in vgic_update_irq_pending()
1539 int kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int irq_num,  in kvm_vgic_inject_irq()
1643 void kvm_vgic_destroy(struct kvm *kvm)  in kvm_vgic_destroy()
1681 int vgic_init(struct kvm *kvm)  in vgic_init()
1771 static int init_vgic_model(struct kvm *kvm, int type)  in init_vgic_model()
1792 int kvm_vgic_create(struct kvm *kvm, u32 type)  in kvm_vgic_create()
1856 static int vgic_ioaddr_overlap(struct kvm *kvm)  in vgic_ioaddr_overlap()
1869 static int vgic_ioaddr_assign(struct kvm *kvm, phys_addr_t *ioaddr,  in vgic_ioaddr_assign()
1906 int kvm_vgic_addr(struct kvm *kvm, unsigned long type, u64 *addr, bool write)  in kvm_vgic_addr()
2143 int kvm_irq_map_gsi(struct kvm *kvm,  in kvm_irq_map_gsi()
2150 int kvm_irq_map_chip_pin(struct kvm *kvm, unsigned irqchip, unsigned pin)  in kvm_irq_map_chip_pin()
2155 int kvm_set_irq(struct kvm *kvm, int irq_source_id,  in kvm_set_irq()
2169 		struct kvm *kvm, int irq_source_id,  in kvm_set_msi()