Searched refs:vgic_kick_vcpus (Results 1 – 4 of 4) sorted by relevance
213 void vgic_kick_vcpus(struct kvm *kvm);
63 vgic_kick_vcpus(vcpu->kvm); in vgic_mmio_write_v2_misc()
1007 void vgic_kick_vcpus(struct kvm *kvm) in vgic_kick_vcpus() function
140 vgic_kick_vcpus(vcpu->kvm); in vgic_mmio_write_v3_misc()