Searched refs:vgic_kick_vcpus (Results 1 – 3 of 3) sorted by relevance
130 void vgic_kick_vcpus(struct kvm *kvm);
946 vgic_kick_vcpus(vcpu->kvm); in vgic_v3_dispatch_sgi()
843 vgic_kick_vcpus(vcpu->kvm); in vgic_handle_mmio_access()1418 void vgic_kick_vcpus(struct kvm *kvm) in vgic_kick_vcpus() function