92 struct vgic_irq *vgic_get_irq(struct kvm *kvm, struct kvm_vcpu *vcpu,  in vgic_get_irq()
152 void vgic_flush_pending_lpis(struct kvm_vcpu *vcpu)  in vgic_flush_pending_lpis()
299 static void vgic_sort_ap_list(struct kvm_vcpu *vcpu)  in vgic_sort_ap_list()
339 	struct kvm_vcpu *vcpu;  in vgic_queue_irq_unlock()  local
442 	struct kvm_vcpu *vcpu;  in kvm_vgic_inject_irq()  local
482 static int kvm_vgic_map_irq(struct kvm_vcpu *vcpu, struct vgic_irq *irq,  in kvm_vgic_map_irq()
516 int kvm_vgic_map_phys_irq(struct kvm_vcpu *vcpu, unsigned int host_irq,  in kvm_vgic_map_phys_irq()
542 void kvm_vgic_reset_mapped_irq(struct kvm_vcpu *vcpu, u32 vintid)  in kvm_vgic_reset_mapped_irq()
559 int kvm_vgic_unmap_phys_irq(struct kvm_vcpu *vcpu, unsigned int vintid)  in kvm_vgic_unmap_phys_irq()
578 int kvm_vgic_get_map(struct kvm_vcpu *vcpu, unsigned int vintid)  in kvm_vgic_get_map()
603 int kvm_vgic_set_owner(struct kvm_vcpu *vcpu, unsigned int intid, void *owner)  in kvm_vgic_set_owner()
635 static void vgic_prune_ap_list(struct kvm_vcpu *vcpu)  in vgic_prune_ap_list()
736 static inline void vgic_fold_lr_state(struct kvm_vcpu *vcpu)  in vgic_fold_lr_state()
745 static inline void vgic_populate_lr(struct kvm_vcpu *vcpu,  in vgic_populate_lr()
756 static inline void vgic_clear_lr(struct kvm_vcpu *vcpu, int lr)  in vgic_clear_lr()
764 static inline void vgic_set_underflow(struct kvm_vcpu *vcpu)  in vgic_set_underflow()
773 static int compute_ap_list_depth(struct kvm_vcpu *vcpu,  in compute_ap_list_depth()
799 static void vgic_flush_lr_state(struct kvm_vcpu *vcpu)  in vgic_flush_lr_state()
868 static inline void vgic_save_state(struct kvm_vcpu *vcpu)  in vgic_save_state()
877 void kvm_vgic_sync_hwstate(struct kvm_vcpu *vcpu)  in kvm_vgic_sync_hwstate()
898 static inline void vgic_restore_state(struct kvm_vcpu *vcpu)  in vgic_restore_state()
907 void kvm_vgic_flush_hwstate(struct kvm_vcpu *vcpu)  in kvm_vgic_flush_hwstate()
940 void kvm_vgic_load(struct kvm_vcpu *vcpu)  in kvm_vgic_load()
951 void kvm_vgic_put(struct kvm_vcpu *vcpu)  in kvm_vgic_put()
962 void kvm_vgic_vmcr_sync(struct kvm_vcpu *vcpu)  in kvm_vgic_vmcr_sync()
973 int kvm_vgic_vcpu_pending_irq(struct kvm_vcpu *vcpu)  in kvm_vgic_vcpu_pending_irq()
1009 	struct kvm_vcpu *vcpu;  in vgic_kick_vcpus()  local
1024 bool kvm_vgic_map_is_active(struct kvm_vcpu *vcpu, unsigned int vintid)  in kvm_vgic_map_is_active()